elvis

0 Followers · 0 Following

• Joined on 2025-11-04

Repositories

9

Projects Packages Public Activity Starred Repositories

elvis pushed to main at elvis/ReactionSystemsGUI 2025-12-22 15:24:35 +01:00

95814bf633 Minor improvement

elvis pushed to main at elvis/ReactionSystemsGUI 2025-12-22 14:48:55 +01:00

267bb6c513 Boolean Networks

elvis pushed to master at elvis/ReactionSystems 2025-12-22 14:47:54 +01:00

7062135a61 Parser for Boolean Networks

elvis pushed to master at elvis/ReactionSystems 2025-12-22 00:59:11 +01:00

25dfe9147d Boolean networks to Reaction Systems and Positive RS

elvis pushed to master at elvis/ReactionSystems 2025-12-21 17:17:10 +01:00

478ca52816 Boolean network to positive system

elvis pushed to master at elvis/ReactionSystems 2025-12-20 22:02:15 +01:00

624446108e DNF

elvis pushed to master at elvis/ReactionSystems 2025-12-20 21:21:37 +01:00

65db7ed17b step and evaluate function for bool fuction and network

elvis pushed to master at elvis/ReactionSystems 2025-12-20 21:12:02 +01:00

5476feea2a Boolean Fomulas + CNF

elvis pushed to main at elvis/ReactionSystemsGUI 2025-12-17 18:03:48 +01:00

5a2577b2bc to single products

a2ca25ccd1 batik

Compare 2 commits »

elvis pushed to master at elvis/ReactionSystems 2025-12-17 18:03:25 +01:00

7185372726 convert to single products

elvis pushed to main at elvis/ReactionSystemsGUI 2025-12-15 21:37:58 +01:00

28bd345d2c Cancel computation + fix invalidating cache

elvis pushed to master at elvis/ReactionSystems 2025-12-15 21:08:24 +01:00

e80bb5b20a tuples for positive assert

e983e778eb cargo fmt

35eb8d9a74 Context operation for positive

bbd482e2ce cargo fmt, additional operations for dsl on context

Compare 4 commits »

elvis pushed to main at elvis/ReactionSystemsGUI 2025-12-10 21:39:42 +01:00

827895de3b Execute external command

elvis pushed to main at elvis/ReactionSystemsThesis 2025-12-04 03:12:54 +01:00

df6acbebbf Final

elvis pushed to main at elvis/ReactionSystemsThesis 2025-12-04 03:07:36 +01:00

2420b215d0 Reordering

elvis pushed to master at elvis/ReactionSystems 2025-12-02 05:01:55 +01:00

ca6f6e7b39 Fix

elvis pushed to main at elvis/ReactionSystemsGUI 2025-12-02 05:00:56 +01:00

ec87f96046 Fix

elvis pushed to main at elvis/ReactionSystemsThesis 2025-12-02 05:00:05 +01:00

068b8edeed Presentation

elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-29 16:34:48 +01:00

20146ad1bc rename

elvis pushed to main at elvis/ReactionSystemsThesis 2025-11-29 16:18:28 +01:00

a64099a286 emacs config thesis