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 10 months ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 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
- Deciding Presburger arithmetic in agda☆32Updated 2 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- The Alms Programming Language☆44Updated 6 years ago
- ☆22Updated 9 years ago
- A talk☆28Updated 4 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆22Updated 8 years ago
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 4 years ago
- ☆17Updated last year
- Formalism and proofs for esverify☆20Updated 7 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- ☆30Updated 7 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- An interpreter of F-ing modules☆19Updated 5 years ago
- Experimentation project☆16Updated 11 years ago
- Mathematical stories☆13Updated 4 years ago
- Formalisation of a type unification algorithm in Coq proof assistant.☆19Updated 6 years ago
- Some tools for provability logic☆37Updated 7 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last week
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- Proposal for an Agda tutorial☆11Updated 6 years ago