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
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆50Updated 4 months ago
- Jhc: Haskell Compiler☆38Updated 9 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Interpret Haskell programs into any cartesian closed category.☆63Updated this week
- enumerative property-based testing for Haskell☆52Updated this week
- A general purpose programming language with linear types☆43Updated 8 years ago
- Quickcheck Properties for common typeclasses☆35Updated 3 months ago
- Morte IDE☆29Updated 4 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated last week
- Generic functions for single-sorted first-order structural unification☆46Updated 3 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 9 months ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Toy typechecker for Insanely Dependent Types☆81Updated 11 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Invertible parsing for S-expressions☆34Updated 4 months ago
- A port of QuickCheck to Idris☆60Updated 7 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 2 months ago
- Lambda Calculus with quote and unquote☆19Updated 5 years ago
- Dual Traversable☆42Updated 2 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆103Updated last year
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago