plt-amy / dep
A very small implementation of the Calculus of Constructions for experimentation purposes
☆14Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for dep
- A dependently typed programming language with direct style effects and linearity☆19Updated 4 months ago
- Toy programming language☆18Updated 6 months ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- 🪆 A Staged Type Theory☆34Updated last year
- 🧪 | Lisp with REPL and macros which will compile itself☆13Updated 10 months ago
- ☆38Updated 2 years ago
- Fωμ type checker and compiler☆51Updated last year
- Playing with type systems☆46Updated 2 years ago
- 🦠 Reusable components based on algebraic effects☆47Updated last month
- A programming language, aka a THING☆10Updated 4 years ago
- Lean 4 port of Megaparsec☆23Updated 10 months ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last year
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Updated last year
- A TOML parser for Idris 2☆15Updated 4 months ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆26Updated last month
- Haskell bindings to binaryen.☆13Updated 3 years ago
- my studies through functional implementations of common data-structures☆9Updated 2 years ago
- A type theory with native support for Polynomial Functors.☆38Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 11 months ago
- Package manager for Idris☆35Updated 2 years ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical types☆25Updated this week
- ☆35Updated 3 years ago