All Git Users → clarus

5 open source projects by clarus

[ Open user page on Github ]

1. Coq Chick Blog

🐣 A blog engine written and proven in Coq

✭ 173

2. Coq Of Ocaml

Import OCaml programs to Coq 🐓 🐫

✭ 117

ocaml compiler coq

Side effects with snapshots for Redux.

✭ 615

javascript redux snapshot

A pretty-printing library in OCaml

✭ 27

A proof of false in Coq.

✭ 82

1-5 of 5 user projects