Formally prove properties of Haskell programs using SBV/SMT.
☆47Jan 12, 2026Updated 9 months ago
Alternatives and similar repositories for sbvPlugin
Users that are interested in sbvPlugin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22Aug 31, 2026Updated 2 months ago
- Refined types☆57Sep 25, 2018Updated 8 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆269Updated this week
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 9 years ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 5 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.
- Performance shootout of various trie implementations☆18May 30, 2019Updated 7 years ago
- ☆32Aug 19, 2023Updated 3 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- Perform GPIO from Haskell☆21Aug 28, 2019Updated 7 years ago
- Stackage overlay for Nixpkgs☆25Apr 15, 2020Updated 6 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 9 years ago
- An example of dynamically loading a Haskell source module☆18May 9, 2018Updated 8 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Haskell graphs and networks library☆31Jun 17, 2026Updated 4 months ago
- Convert data to and from a natural number representation☆13Apr 16, 2021Updated 5 years ago
- Refactorio is a tool with which you build and maintain software.☆19Jun 3, 2024Updated 2 years ago
- Gidl: an Interface Description Language☆11Aug 11, 2017Updated 9 years ago
- Sparse matrix linear equation solver, using the Conjugate Gradient algorithm☆16Sep 5, 2020Updated 6 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆101Apr 28, 2024Updated 2 years ago
- Measuring CPU instructions in Haskell using Linux Performance Counters☆83Jun 9, 2018Updated 8 years ago
- Protect against backwards-incompatible serializations☆23May 21, 2021Updated 5 years ago
- Practical Deep Learning in Haskell now!☆48Oct 16, 2022Updated 4 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.
- Deeply nested, multiple key-type maps.☆10Sep 27, 2026Updated last month
- Regular expressions of types☆16Sep 13, 2018Updated 8 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Feb 13, 2018Updated 8 years ago
- Systematic concurrency testing meets Haskell.☆201Oct 1, 2026Updated last month
- Yet another Haskell build system.☆115Jul 3, 2020Updated 6 years ago
- A thread-safe hash table in Haskell☆15Feb 28, 2020Updated 6 years ago
- Library of simd functions☆19Jun 13, 2026Updated 4 months ago
- ☆11Sep 19, 2017Updated 9 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A hashing-based graph implementation in Haskell☆33Jul 2, 2018Updated 8 years ago
- Bring fusion to everyone☆15Feb 6, 2020Updated 6 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆86Oct 7, 2026Updated 3 weeks ago
- Library for generating Haskell source files and code fragments.☆101Feb 9, 2026Updated 8 months ago
- Compact regions library for Haskell☆82Jul 2, 2024Updated 2 years ago
- Color highlighting for Haskell profiling information☆40Sep 30, 2021Updated 5 years ago
- An efficient graph library for Haskell☆41Aug 26, 2025Updated last year