sbv
by LeventErkok
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
AI summary
Haskell verifier
A tool for expressing and proving properties about Haskell programs using SMT solvers.
- stars
- 245
- forks
- 35
- watching
- 9
Similar projects
Found by comparing what the projects do, not just their names.
Haskell Verifier
A tool for verifying and validating Haskell programs using refinement types and SMT logic
Haskell Interpreter
A Haskell interpreter designed to evaluate pure functions securely and efficiently in a sandboxed environment.
Property tester
A testing library that checks Haskell code properties exhaustively using automatic test case generation
Neural network verifier
A toolkit for enforcing logical specifications on neural networks
Property tester
Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement.
Haskell parser
A toolset for manipulating and analyzing Haskell source code
Git repository simulator
A Git-compatible content tracker in Haskell.
Proof verifier
Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system
zk verifier
A Rust-based implementation of a zk proof system, enabling secure and private data verification without the need for trusted intermediaries.
WebAuthn Verifier
A Haskell implementation of the server-side verifier for Web Authentication API
Property tester
Automated testing of program properties in Haskell programs.
Haskell assertion checker
A tool that allows developers to embed assertions about intermediate code in their Haskell programs and have them checked by the compiler.
Haskell refactoring tool
A tool that applies refactorings to Haskell source files based on suggestions from a package.
Haskell simulator
A Python library that mimics key features of the Haskell programming language.
Package Verifier
Tool for verifying package integrity and security in the npm ecosystem
