e-wrks / edh
Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
☆28Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for edh
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A compiler for a simple language using llvm☆35Updated last year
- language verification, construction, and analysis☆20Updated 2 years ago
- A usable type system for call by push-value☆28Updated 4 years ago
- A proof that Idris is pacman complete☆8Updated 6 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- An epoll-based HTTP library for ATS2☆14Updated last year
- Lua backend for Idris 2☆27Updated 2 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Dependent hash maps☆14Updated 5 months ago
- Efficient effect handlers based on Evidence Passing Semantics.☆27Updated 3 years ago
- Constraint Handling Rules☆15Updated last month
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- Efficient parser combinators for Haskell☆39Updated 6 months ago
- The Alms Programming Language☆44Updated 6 years ago
- Automatically generated Nix expressions of Stackage snapshots☆11Updated this week
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- Dependently typed programming language written in Haskell☆22Updated 2 years ago
- ☆33Updated 6 months ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- An extended typed Lambda Calculus☆20Updated 3 months ago
- Automatically generated Nix expressions for Hackage☆21Updated this week
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 4 months ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- ☆12Updated 4 years ago