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 8 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- Implementation of Dhall in Dhall☆12May 24, 2026Updated 3 weeks ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated 5 months ago
- A Functional Graph Library for Haskell☆199May 19, 2026Updated 3 weeks 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
- 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.
- Haskell implementation of HyperLogLog++ & MinHash for efficient cardinality and intersection estimation☆13Aug 1, 2016Updated 9 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆37May 11, 2026Updated last month
- Inline, type safe X86-64 assembly programming in Agda☆70Jan 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
- A bounded TTL PSR-16 cache implementation☆10May 6, 2026Updated last month
- 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Haskell typechecker☆39May 7, 2019Updated 7 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 8 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- A Twitter handle parser for Laravel 5.☆12Oct 30, 2018Updated 7 years ago
- Haskell parser and printer for the TOML 1.1.0 file format☆29May 7, 2026Updated last month
- Canonical normalizing flows☆10Apr 30, 2019Updated 7 years ago
- Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer☆203Jul 22, 2023Updated 2 years ago
- Kleene algebra, regular expressions☆33May 12, 2026Updated last month
- Turn GHC `-pj` profiling output into FlameGraph format.☆13Mar 2, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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
- ☆11Feb 25, 2020Updated 6 years ago
- Diffing of (expression) trees.☆80May 13, 2026Updated last month
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 7 years ago