luqui / Djest
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 self-hosting lambda calculus compiler☆35Updated last month
- Deciding Presburger arithmetic in agda☆31Updated 2 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Coq library for serialization to S-expressions☆19Updated last year
- An extended typed Lambda Calculus☆21Updated 9 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 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
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- ☆35Updated last year
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- playing with resumable computations☆13Updated 5 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆48Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated last year
- ☆16Updated 2 months ago
- Collection of Idris snippets☆21Updated last year
- ☆29Updated 9 years ago
- An implementation of structural subtyping of records and functions☆13Updated 6 years ago