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 8 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. cc4101-handin-client cc4101-handin-client Public

   Handin Client for the CC4101 - Programming Languages course

   Racket 1