5 open source projects by chessai

theseus, functional programming language with fully reversible computation

semirings and *-semirings of types in base/haskell-platform

reverse dependency build matrix generator

BDD-based implementation of Datalog

DEPRECATED: use https://github.com/MercuryTechnologies/moat