caotic123 / PomPom-LanguageLinks
The cuteness implementation of a dependently typed language.
☆190Updated 2 years ago
Alternatives and similar repositories for PomPom-Language
Users that are interested in PomPom-Language are comparing it to the libraries listed below
Sorting:
- A categorical programming language with effects☆278Updated 2 years ago
- The adventures of a Haskell compiler☆226Updated last month
- Dependent type checker using normalisation by evaluation☆262Updated 9 months ago
- A graphical interactive proof assistant designed for education☆166Updated 7 months ago
- Spartan type theory☆267Updated last year
- A fast functional language based on two level type theory☆391Updated 2 years ago
- Staged compilation with dependent types☆174Updated last month
- The Makam Metalanguage☆198Updated 2 years ago
- an implementation of stuck macros☆142Updated 3 months ago
- 1ML prototype interpreter☆282Updated 4 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆378Updated last year
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆117Updated 4 years ago
- Embeddable Lambda Prolog Interpreter☆312Updated 3 weeks ago
- Demo for high-performance type theory elaboration☆555Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 4 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆128Updated last year
- Benchmarks for capture-avoiding substitution☆114Updated 3 weeks ago
- 😎TT☆228Updated last year
- A less devious proof assistant☆224Updated 2 years ago
- Haskell In New Clothes☆110Updated 4 years ago
- A compiler for functional programs on serialized data☆164Updated last week
- Inpla: Interaction nets as a programming language (the current version)☆306Updated 7 months ago
- Haskell implemented with combinators☆514Updated this week
- A minimal proof language.☆206Updated 6 years ago
- Haskell + Lisp☆210Updated last year
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- Prototype type inference engine☆202Updated 4 months ago
- ☆79Updated 6 years ago