Popular repositories Loading

1. Refinements Refinements Public

   Experiments in formalizing refinement type systems in Coq

   Coq 18 1

2. play play Public

   Variations on #lang plai

   Racket 7 3

3. Ghosts Ghosts Public

   Java 3

4. BBCTester BBCTester Public

   Black Box Compiler Tester

   OCaml 1 1

5. metacoq metacoq Public

   Forked from MetaRocq/metarocq

   Metaprogramming in Coq

   Coq 1

6. CDI-anf CDI-anf Public

   example ANF transformations

   OCaml 1