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
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- An epoll-based HTTP library for ATS2☆14Updated last year
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- A usable type system for call by push-value☆28Updated 4 years ago
- Library for invertible parsing and printing☆31Updated 5 months ago
- Kempe is a compiled stack-based language☆58Updated last month
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- A proof that Idris is pacman complete☆8Updated 7 years ago
- Dependently typed programming language written in Haskell☆22Updated 2 years ago
- A compiler for a simple language using llvm☆35Updated last year
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- An extended typed Lambda Calculus☆20Updated 3 months ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 8 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- ☆23Updated 6 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- ICFP tutorial☆40Updated 3 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago