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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆23Dec 6, 2017Updated 8 years ago
- Verified left pad☆19Apr 14, 2018Updated 7 years ago
- 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
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- Implementation of Dhall in Dhall☆12Mar 13, 2026Updated last week
- A Functional Graph Library for Haskell☆198Dec 25, 2025Updated 2 months ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated 2 months ago
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- RASP-L in Haskell for my fellow rascals☆20Dec 3, 2023Updated 2 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 11 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Haskell implementation of HyperLogLog++ & MinHash for efficient cardinality and intersection estimation☆12Aug 1, 2016Updated 9 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆37Oct 28, 2025Updated 4 months ago
- Inline, type safe X86-64 assembly programming in Agda☆69Jan 3, 2019Updated 7 years ago
- An interactive GHC profiling visualizer☆33Oct 3, 2017Updated 8 years ago
- Interop between fs2 and scalaz☆14Feb 9, 2018Updated 8 years ago
- Wave function collapse procedural generation for arbitrary graphs☆15Nov 4, 2019Updated 6 years ago
- a language workbench for parsing and transforming curly-brace languages☆43Jun 24, 2016Updated 9 years ago
- Haskell typechecker☆39May 7, 2019Updated 6 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆29Mar 13, 2026Updated last week
- Canonical normalizing flows☆10Apr 30, 2019Updated 6 years ago
- Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer☆202Jul 22, 2023Updated 2 years ago
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago
- Turn GHC `-pj` profiling output into FlameGraph format.☆13Mar 2, 2018Updated 8 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆44Jul 27, 2019Updated 6 years ago
- Haskell graphs and networks library☆31Mar 15, 2022Updated 4 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Mar 17, 2019Updated 7 years ago
- a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features☆121Sep 12, 2018Updated 7 years ago
- ☆10Feb 25, 2020Updated 6 years ago
- Diffing of (expression) trees.☆79Jul 9, 2025Updated 8 months ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 6 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Jan 19, 2018Updated 8 years ago
- Fully connected neural nets for supervised learning DQMC data☆12Jul 13, 2016Updated 9 years ago