sbv
Haskell verifier
A tool for expressing and proving properties about Haskell programs using SMT solvers.
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
245 stars
9 watching
35 forks
Language: Haskell
last commit: almost 2 years agohaskellsmtverification
Related projects:
| Repository | Description | Stars |
|---|---|---|
 ucsd-progsys/liquidhaskell | A tool for verifying and validating Haskell programs using refinement types and SMT logic | 1,204 |
 terenceng03/mueval | A Haskell interpreter designed to evaluate pure functions securely and efficiently in a sandboxed environment. | 76 |
 bodigrim/smallcheck | A testing library that checks Haskell code properties exhaustively using automatic test case generation | 134 |
 vehicle-lang/vehicle | A toolkit for enforcing logical specifications on neural networks | 82 |
 rudymatela/fitspec | Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. | 74 |
 haskell-suite/haskell-src-exts | A toolset for manipulating and analyzing Haskell source code | 194 |
 vaibhavsagar/duffer | A Git-compatible content tracker in Haskell. | 66 |
 fluidex/plonkit | Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system | 159 |
 0xhackedlabs/zkprover | A Rust-based implementation of a zk proof system, enabling secure and private data verification without the need for trusted intermediaries. | 1 |
 fumieval/webauthn | A Haskell implementation of the server-side verifier for Web Authentication API | 15 |
 nick8325/quickcheck | Automated testing of program properties in Haskell programs. | 728 |
 nomeata/inspection-testing | A tool that allows developers to embed assertions about intermediate code in their Haskell programs and have them checked by the compiler. | 172 |
 mpickering/apply-refact | A tool that applies refactorings to Haskell source files based on suggestions from a package. | 147 |
 billpmurphy/hask | A Python library that mimics key features of the Haskell programming language. | 862 |
 verifynpm/tbv | Tool for verifying package integrity and security in the npm ecosystem | 59 |