chessai

chessai

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
142 Stars
8 Forks
142 Watchers

Repositories (2)

theseus chessai/theseus Haskell

theseus, functional programming language with fully reversible computation

111
hsdatalog chessai/hsdatalog Haskell

BDD-based implementation of Datalog

31