luqui / Djest
A programming language that deduces code from tests
☆30Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for Djest
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Proof that Haskell can look and act like an imperative language.☆73Updated 12 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- MLpolyR☆7Updated 8 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- A Teeny Type Theory☆26Updated 2 years ago
- Deciding Presburger arithmetic in agda☆31Updated last year
- An interpreter of F-ing modules☆18Updated 5 years ago
- Monadic Constraint Programming framework☆28Updated 6 years ago
- ☆33Updated 7 months ago
- ☆10Updated 5 years ago
- ☆22Updated 8 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Jhc: Haskell Compiler☆36Updated 9 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- Generic unification-based type inference library☆25Updated 9 years ago
- An extended typed Lambda Calculus☆20Updated 3 months ago
- Miller/pattern unification in Agda☆62Updated 10 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 5 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 8 years ago
- Synthetic Differential Geometry in Agda☆12Updated 9 years ago
- Supporting tool for Gradual Typing☆16Updated 4 years ago
- BDD-based implementation of Datalog☆36Updated 4 years ago
- Experimental functional language☆18Updated 2 years ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 5 years ago
- topos programming☆31Updated 6 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- A showcase of interesting code and proof developments in Cedille☆36Updated last year