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:
- An extended typed Lambda Calculus☆21Updated 11 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- a self-hosting lambda calculus compiler☆36Updated 3 months ago
- Deciding Presburger arithmetic in agda☆32Updated 2 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- The Alms Programming Language☆44Updated 6 years 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
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated last month
- A termination checker for higher-order rewriting with dependent types☆12Updated 5 years ago
- ☆35Updated last year
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 months ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- Library classes for the Twelf Proof System☆22Updated 5 years ago
- An equational theorem prover based on Knuth-Bendix completion☆52Updated last week
- Interactive Theorem Proving for students☆20Updated last year
- Provides a reference implementation of FeatherweightRust in Java.☆14Updated 3 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆20Updated 9 years ago
- Formalism and proofs for esverify☆19Updated 7 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 6 years ago
- Proposal for an Agda tutorial☆11Updated 6 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 5 months ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- ☆30Updated 7 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- An interpreter of F-ing modules☆19Updated 6 years ago