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
- The MMT Language and System☆76Updated 3 weeks ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 7 months ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- The SAW core language.☆54Updated 4 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 3 years ago
- ☆32Updated 7 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 4 months ago
- The Ynot Project source code.☆22Updated 11 years ago
- Probabilistic computation in Idris☆34Updated 6 years ago
- Selective applicative functors laws and theorems☆14Updated 5 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Real number computation software☆127Updated 3 years ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- Idris, but it's C☆24Updated 7 years ago
- HoTT in Lean 3☆82Updated 5 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆50Updated 5 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Lean Tutorials☆45Updated 5 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 4 years ago
- BDD-based implementation of Datalog☆37Updated 5 years ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- A prototype programming language for programming with runners☆91Updated 4 years ago
- A version of Epigram 1 that can run with newer GHCs☆54Updated 8 years ago
- Web based opetopic editor☆35Updated 11 months ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 5 months ago