Monthly Downloads: 326
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Latest version: v8.14
sbv alternatives and similar packages
Based on the "Bit Vectors" category.
Alternatively, view sbv alternatives based on common mentions on social networks and blogs.
hw-bits5.0 0.0 sbv VS hw-bitsBit manipulation
bit-array4.8 0.0 sbv VS bit-arrayA bit array (aka bitset, bitmap, bit vector) API for numeric types
bitvec4.4 0.0 sbv VS bitvecBit arrays for Haskell
bit-vector3.9 0.0 sbv VS bit-vectorSimple bit vectors for Haskell
hw-string-parse3.0 0.0 sbv VS hw-string-parseString parser
Static code analysis for 29 languages.
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Do you think we are missing an alternative of sbv or a related project?
SBV: SMT Based Verification in Haskell
On Hackage: http://hackage.haskell.org/package/sbv
Please see: http://leventerkok.github.io/sbv/