Software specification and verification system based on graph rewriting
☆37Nov 9, 2022Updated 3 years ago
Alternatives and similar repositories for verigraph
Users that are interested in verigraph are comparing it to the libraries listed below
Sorting:
- topos programming☆31Sep 20, 2018Updated 7 years ago
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆20Jul 23, 2016Updated 9 years ago
- Verified left pad☆19Apr 14, 2018Updated 7 years ago
- A Functional Graph Library for Haskell☆198Dec 25, 2025Updated 2 months ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- ☆23Dec 6, 2017Updated 8 years ago
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- ☆22Oct 12, 2020Updated 5 years ago
- Haskell implementation of HyperLogLog++ & MinHash for efficient cardinality and intersection estimation☆12Aug 1, 2016Updated 9 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆28Dec 29, 2023Updated 2 years ago
- Turn GHC `-pj` profiling output into FlameGraph format.☆13Mar 2, 2018Updated 8 years ago
- ☆10Feb 25, 2020Updated 6 years ago
- ☆13Jul 24, 2021Updated 4 years ago
- A faster Java heap analysis tool☆21Feb 19, 2017Updated 9 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …☆33Mar 18, 2015Updated 10 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36Oct 28, 2025Updated 4 months ago
- Haskell graphs and networks library☆31Mar 15, 2022Updated 3 years ago
- Wave function collapse procedural generation for arbitrary graphs☆15Nov 4, 2019Updated 6 years ago
- Futuristic New Age Golden Test management☆15Sep 27, 2022Updated 3 years ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 6 years ago
- Implementation of Dhall in Dhall☆12Feb 12, 2026Updated 2 weeks ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Jan 19, 2018Updated 8 years ago
- Haskell typechecker☆39May 7, 2019Updated 6 years ago
- A fornalisation of Grobner basis in ssreflect☆12Jan 29, 2026Updated last month
- ☆18May 10, 2022Updated 3 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Jun 21, 2018Updated 7 years ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆17Jan 5, 2015Updated 11 years ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- a language workbench for parsing and transforming curly-brace languages☆43Jun 24, 2016Updated 9 years ago
- Idris LLVM codegen factored out☆82Jul 28, 2017Updated 8 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Feb 23, 2018Updated 8 years ago
- Inline, type safe X86-64 assembly programming in Agda☆69Jan 3, 2019Updated 7 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Oct 22, 2018Updated 7 years ago