e-wrks / edhLinks
Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
☆28Updated last year
Alternatives and similar repositories for edh
Users that are interested in edh are comparing it to the libraries listed below
Sorting:
- A usable type system for call by push-value☆33Updated 5 years ago
- ☆12Updated 5 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- ICFP tutorial☆39Updated 4 years ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆42Updated last month
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated last month
- a self-hosting lambda calculus compiler☆37Updated 6 months ago
- An efficient graph library for Haskell☆38Updated last month
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated last month
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 11 months ago
- Stroll: an experimental build system☆41Updated 2 years ago
- Toy typechecker for Insanely Dependent Types☆81Updated 12 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- A reversible language☆22Updated 7 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 7 months ago
- A tiny language for teaching and experimenting with Refinement Types☆48Updated 4 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated last year
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- Efficient parser combinators for Haskell☆39Updated last month
- Classical Logic in Haskell☆24Updated 6 months ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 4 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Austin's supercompiler work☆21Updated 5 years ago