Popular repositories Loading

1. lambdul lambdul Public

   Lambda calculus interpreter written in Java

   Java 8 2

2. thouffle thouffle Public

   Lisp to C++ compiler written in Soufflé - a dialect of Datalog

   2

3. souffle souffle Public

   Forked from souffle-lang/souffle

   Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of line…

   C++ 1

4. cattac cattac Public

   SMT solver written in C++

   C++ 1

5. leiden leiden Public

   Forked from andrewhill157/leiden

   Python

6. cogent cogent Public

   Forked from au-ts/cogent

   Proof-Code co-generation

   Isabelle