luqui / DjestLinks
A programming language that deduces code from tests
☆30Updated 7 years ago
Alternatives and similar repositories for Djest
Users that are interested in Djest are comparing it to the libraries listed below
Sorting:
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- An extended typed Lambda Calculus☆21Updated 10 months ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- Deciding Presburger arithmetic in agda☆32Updated 2 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- topos programming☆31Updated 6 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- A showcase of interesting code and proof developments in Cedille☆36Updated 2 weeks ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Type theory in type theory☆16Updated 13 years ago
- An interpreter of F-ing modules☆19Updated 6 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- A Gradual Dependently-typed Language☆14Updated 6 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 weeks ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 5 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago