Popular repositories

1. logrel-coq logrel-coq Public

   Logical Relation for MLTT in Coq

   Coq 17 3

2. exceptional-tt exceptional-tt Public

   A Coq plugin that implements exceptions in Coq

   OCaml 14 4

3. Program-translations-CC-omega Program-translations-CC-omega Public

   Coq 13 1

4. coq-forcing coq-forcing Public

   A plugin for Coq that implements the call-by-name forcing translation

   Coq 10 3

5. DICoq DICoq Public

   Dependent Interoperability for Coq

   Coq 8 1

6. coq-effects coq-effects Public

   A program translation implementing self-algebraic effects in Coq.

   Coq 7