ctford / Idris-Elba-DevLinks
A Whitespace-Based Dependently Typed Functional Programming Language
☆16Updated 8 years ago
Alternatives and similar repositories for Idris-Elba-Dev
Users that are interested in Idris-Elba-Dev are comparing it to the libraries listed below
Sorting:
- GRIN backend for Idris☆50Updated 5 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆50Updated 2 weeks ago
- A Python backed for Idris 2☆26Updated 10 months ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Jhc: Haskell Compiler☆38Updated 10 years ago
- Generic functions for single-sorted first-order structural unification☆46Updated 4 months ago
- TParsec - Total Parser Combinators in Idris☆95Updated 2 years ago
- ☆47Updated 7 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 10 months ago
- A version of Epigram 1 that can run with newer GHCs☆53Updated 8 years ago
- Idris port of Haskell's sop-core library☆36Updated 2 weeks ago
- Toy typechecker for Insanely Dependent Types☆81Updated 11 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- A nano "theorem prover".☆62Updated 6 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- NES programming in Haskell? No way!☆38Updated 9 years ago
- ☆12Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- ☆17Updated 2 years ago
- ☆41Updated 8 years ago
- enumerative property-based testing for Haskell☆52Updated 3 weeks ago
- Brent's PhD thesis.☆69Updated 9 years ago
- Build tool for ATS.☆42Updated 3 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 3 years ago