Popular repositories Loading

1. redux-ship redux-ship Public

   Side effects with snapshots for Redux.

   JavaScript 609 19

2. coq-chick-blog coq-chick-blog Public

   🐣 A blog engine written and proven in Coq

   Coq 182 9

3. falso falso Public

   A proof of false in Coq.

   Coq 101 1

4. smart-print smart-print Public

   A pretty-printing library in OCaml

   OCaml 33 6

5. coq-blog coq-blog Public

   A blog about Coq

   HTML 11 1

6. cybele cybele Public

   A Coq plugin for simpler proofs by reflection or OCaml certificates.

   Coq 8 1