Popular repositories Loading

1. mirror-core mirror-core Public

   Forked from gmalecha/mirror-core

   A framework for extensible, reflective decision procedures.

   Coq

2. iron iron Public

   Forked from discus-lang/iron

   Coq formalizations of functional languages.

   Coq

3. ohm ohm Public

   Forked from ohmjs/ohm

   A library and language for building parsers, interpreters, compilers, etc.

   JavaScript

4. fgj-poly fgj-poly Public

   Experimental implementation of Featherweight Generic Java with first-class polymorphism.

   Scala

5. capirca capirca Public

   Forked from google/capirca

   Multi-platform ACL generation system

   Python

6. z3 z3 Public

   Forked from batfish/z3

   The Z3 Theorem Prover

   C++