chessai

one must imagine sisyphus hacking

Results 2 repositories owned by


chessai

theseus

115

Stars

6

Forks

Watchers

theseus, functional programming language with fully reversible computation

functional-programming

programming-language

reversible-computation

hsdatalog

36

Stars

2

Forks

Watchers

BDD-based implementation of Datalog

logic-programming