exercism / coqLinks
Exercism exercises in Coq.
☆19Updated last year
Alternatives and similar repositories for coq
Users that are interested in coq are comparing it to the libraries listed below
Sorting:
- ☆84Updated 8 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆55Updated 5 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- xmonad in Coq☆46Updated 13 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Morte IDE☆29Updated 7 months ago
- Some tools for provability logic☆37Updated 7 years ago
- ☆22Updated 9 years ago
- ☆47Updated 8 years ago
- A small implementation of a proof refinement logic.☆50Updated 8 years ago
- A version of Epigram 1 that can run with newer GHCs☆54Updated 8 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- NES programming in Haskell? No way!☆39Updated 9 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- Base library for HoTT in Agda☆37Updated 6 years ago
- Type provider library for Idris☆95Updated 7 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 9 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Updated 7 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- The SAW core language.☆54Updated 4 years ago
- TODO☆23Updated 10 years ago
- Idris, but it's C☆24Updated 7 years ago
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- ☆62Updated 6 years ago
- Brent's PhD thesis.☆69Updated 9 years ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago