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:
- Lua backend for Idris 2☆28Updated 3 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Idris port of Haskell's sop-core library☆37Updated 3 months ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Jhc: Haskell Compiler☆39Updated 10 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- Source repository for https://hackage.haskell.org/package/language-c☆93Updated 2 months ago
- A Python backed for Idris 2☆29Updated 2 months ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 9 months ago
- Generic functions for single-sorted first-order structural unification☆45Updated 6 months ago
- TParsec - Total Parser Combinators in Idris☆96Updated 2 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆18Updated 2 weeks ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- Package manager for Idris☆37Updated 3 years ago
- The Alms Programming Language☆44Updated 7 years ago
- Morte IDE☆29Updated 7 months ago
- Mirror of Epigram 2, by Conor McBride, et al.☆55Updated 5 years ago
- Build tool for ATS.☆42Updated 3 years ago
- Experimental JS bindings for idris2-rhone☆21Updated 2 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 9 months ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last week
- Provably total, tail-call optimized monadic recursion in Idris2☆14Updated 2 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated last year
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆97Updated last year
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆58Updated last year
- GHC compiled against musl & uClibc☆42Updated 10 months ago
- Generate Haskell code from a type☆144Updated 9 months ago