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
- Generic functions for single-sorted first-order structural unification☆44Updated 3 weeks ago
- GRIN backend for Idris☆51Updated 5 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 4 months ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated 3 weeks ago
- Build tool for ATS.☆41Updated 3 years ago
- a language about nothing☆19Updated 5 years ago
- A Python backed for Idris 2☆23Updated 5 months ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Type-safe open unions in Haskell☆32Updated 7 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- ☆40Updated 5 years ago
- Jhc: Haskell Compiler☆37Updated 9 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Clean up the formatting of 'show' output☆21Updated 8 months ago
- Deciding Presburger arithmetic in agda☆31Updated 2 years ago
- Invertible parsing for S-expressions☆34Updated 3 weeks ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- An efficient finite map from (byte)strings to values.☆20Updated 3 weeks ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- A library for doing generic programming in Agda☆31Updated 4 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Set monad☆17Updated last year
- Dual Traversable☆42Updated last year
- Axioms and Propositions for Primitives in Idris2☆11Updated last year