Popular repositories Loading

1. color color Public

   Coq library on rewriting theory and termination

   Coq 35 21

2. moca moca Public

   Generator of OCaml construction functions for quotient types

   OCaml 2

3. rainbow rainbow Public

   Certified checker of CPF termination certificates

   Coq 1

4. lambdapi lambdapi Public

   Forked from Deducteam/lambdapi

   Proof assistant based on the λΠ-calculus modulo rewriting

   OCaml

5. crsx crsx Public

   Forked from crsx/crsx

   Java

6. ocaml-earley ocaml-earley Public

   Forked from rlepigre/ocaml-earley

   Parsing library based on Earley Algorithm

   OCaml