exercism / coqLinks
Exercism exercises in Coq.
☆19Updated 9 months ago
Alternatives and similar repositories for coq
Users that are interested in coq are comparing it to the libraries listed below
Sorting:
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- ☆84Updated 7 years ago
- NES programming in Haskell? No way!☆38Updated 9 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Lean Tutorials☆45Updated 4 years ago
- A workshop on learning Agda with minimal prerequisites.☆86Updated 9 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Brent's PhD thesis.☆69Updated 9 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 7 years ago
- ☆22Updated 9 years ago
- Some tools for provability logic☆37Updated 7 years ago
- ☆60Updated 6 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- ☆46Updated 6 years ago
- Toy typechecker for Insanely Dependent Types☆81Updated 11 years ago
- A version of Epigram 1 that can run with newer GHCs☆53Updated 8 years ago
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- xmonad in Coq☆46Updated 13 years ago
- Type provider library for Idris☆94Updated 7 years ago