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:
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- ☆84Updated 7 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- ☆21Updated 9 years ago
- Type provider library for Idris☆94Updated 7 years ago
- enumerative property-based testing for Haskell☆52Updated 6 months ago
- The SAW core language.☆54Updated 4 years ago
- A workshop on learning Agda with minimal prerequisites.☆86Updated 9 years ago
- A prolog interpreter written in Haskell.☆62Updated 10 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- A version of Epigram 1 that can run with newer GHCs☆53Updated 8 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- Ring solver for Idris☆20Updated 6 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- xmonad in Coq☆46Updated 13 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- ☆22Updated 9 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Idris, but it's C☆24Updated 7 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 8 years ago
- Toy typechecker for Insanely Dependent Types☆81Updated 11 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago