Verites / verigraphLinks
Software specification and verification system based on graph rewriting
☆37Updated 2 years ago
Alternatives and similar repositories for verigraph
Users that are interested in verigraph are comparing it to the libraries listed below
Sorting:
- ☆62Updated 6 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- ☆32Updated 7 years ago
- ICFP 2020 papers. Crowd-sourced☆90Updated 5 years ago
- The SAW core language.☆54Updated 4 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Interpreter for the reversible functional language rFun☆37Updated 7 years ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 7 months ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 3 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- The MMT Language and System☆76Updated last month
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- Constructive Galois connections☆36Updated 7 years ago
- Probabilistic computation in Idris☆34Updated 6 years ago
- Selective applicative functors laws and theorems☆14Updated 5 years ago
- ☆29Updated 10 years ago
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆16Updated last year
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- source code for the bondi programming language☆41Updated 6 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 6 months ago
- The Ynot Project source code.☆22Updated 11 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆31Updated 4 years ago
- Web based opetopic editor☆35Updated last year
- higher order dependently typed logic programing☆173Updated 7 years ago
- BDD-based implementation of Datalog☆37Updated 5 years ago