ctford / Idris-Elba-Dev
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
- GRIN backend for Idris☆51Updated 4 years ago
- A Python backed for Idris 2☆22Updated 5 months ago
- Generic functions for single-sorted first-order structural unification☆42Updated last month
- Educational implementation of dependent types☆19Updated 6 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆12Updated last year
- A version of Epigram 1 that can run with newer GHCs☆52Updated 7 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A talk☆28Updated 3 years ago
- Idris port of Haskell's sop-core library☆34Updated last year
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated this week
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 9 months ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- An Idris 2 build tool and a package manager☆28Updated 2 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 4 months ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 3 years ago
- Constraint Handling Rules☆16Updated 6 months ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- Type-safe open unions in Haskell☆32Updated 6 years ago
- Deciding Presburger arithmetic in agda☆31Updated 2 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated last week
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆58Updated 2 months ago
- Idris, but it's C☆24Updated 6 years ago