GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ freer-monads
Top 1 freer-monads open source projects
FreeSpec
A framework for implementing and certifying impure computations in Coq
✭ 48
Coq
ocaml
shell
Standard ML
coq
formal-verification
freer-monads
1-1
of
1
freer-monads projects