Software specification and verification system based on graph rewriting
☆37Aug 26, 2026Updated this week
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:
- Basic mathematics library☆15Aug 2, 2026Updated 3 weeks ago
- ☆22Dec 6, 2017Updated 8 years ago
- Verified left pad☆18Apr 14, 2018Updated 8 years ago
- topos programming☆31Sep 20, 2018Updated 7 years ago
- Generic unification-based type inference library☆25May 20, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆19Jul 23, 2016Updated 10 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- Implementation of Dhall in Dhall☆12Updated this week
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- A Functional Graph Library for Haskell☆200May 19, 2026Updated 3 months ago
- Dependently typed elimination functions using singletons☆27Jan 11, 2026Updated 7 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
- ☆18Nov 18, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Educational implementation of dependent types☆19May 16, 2018Updated 8 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
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 years ago
- Haskell implementation of HyperLogLog++ & MinHash for efficient cardinality and intersection estimation☆13Aug 1, 2016Updated 10 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- Inline, type safe X86-64 assembly programming in Agda☆70Jan 3, 2019Updated 7 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36May 11, 2026Updated 3 months ago
- a language workbench for parsing and transforming curly-brace languages☆43Jun 24, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Wave function collapse procedural generation for arbitrary graphs☆15Nov 4, 2019Updated 6 years ago
- Interop between fs2 and scalaz☆14Feb 9, 2018Updated 8 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 8 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 7 years ago
- Haskell typechecker☆39May 7, 2019Updated 7 years ago
- Haskell parser and printer for the TOML 1.1.0 file format☆31May 7, 2026Updated 3 months ago
- Canonical normalizing flows☆10Apr 30, 2019Updated 7 years ago
- Turn GHC `-pj` profiling output into FlameGraph format.☆13Mar 2, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Kleene algebra, regular expressions☆34May 12, 2026Updated 3 months ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Jul 27, 2019Updated 7 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.☆18Mar 17, 2019Updated 7 years ago
- Haskell graphs and networks library☆31Jun 17, 2026Updated 2 months ago
- Diffing of (expression) trees.☆80Jun 17, 2026Updated 2 months ago
- Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer☆205Jul 7, 2026Updated last month
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Jan 19, 2018Updated 8 years ago