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.☆50Updated 5 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Jhc: Haskell Compiler☆38Updated 10 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- enumerative property-based testing for Haskell☆52Updated last month
- Named parameters (keyword arguments) for Haskell☆97Updated 6 months ago
- Generic functions for single-sorted first-order structural unification☆46Updated 4 months ago
- A type-checker for Haskell with integer constraints☆42Updated 10 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Idris port of Haskell's sop-core library☆36Updated last month
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 11 months ago
- Some tools for provability logic☆37Updated 7 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- ☆41Updated 5 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆50Updated last month
- Kempe is a compiled stack-based language☆58Updated 11 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 2 weeks ago
- Build tool for ATS.☆42Updated 3 years ago
- Morte IDE☆29Updated 5 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 2 weeks ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- Provides a type-safe way of working with permutations in Idris☆37Updated 3 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- An efficient graph library for Haskell☆38Updated last month
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Quickcheck Properties for common typeclasses☆35Updated 5 months ago
- Toy typechecker for Insanely Dependent Types☆81Updated 12 years ago
- A port of QuickCheck to Idris☆60Updated 7 years ago
- A reversible language☆22Updated 7 years ago