The Leon system for verification, synthesis, and more.
Updated Nov 27, 2015
An online tutoring system for context-free grammars
Updated Oct 21, 2015
A system for analyzing and comparing context-free grammars
Updated Aug 21, 2015
Binders and more to the Z3 SMT solver for Scala
Updated Aug 11, 2015
forked from Z3Prover/z3
The Z3 Theorem Prover
Updated Apr 13, 2015
Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.
Updated Jun 7, 2014
forked from colder/insane
Interprocedural Static Analysis Engine for Scala
Updated Sep 28, 2012