Popularity

9.6

Growing

Activity

6.1

Stars 215

Watchers 8

Forks 27

Last Commit 9 days ago

Monthly Downloads: 326

Programming language: Haskell

License: BSD 3-clause "New" or "Revised" License

Tags: Math Theorem Provers Utils Bit Vectors Formal Methods Symbolic Computation SMT

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-bits

5.0 0.0 sbv VS hw-bits

Bit manipulation
bit-array

4.8 0.0 sbv VS bit-array

A bit array (aka bitset, bitmap, bit vector) API for numeric types

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.

Promo www.sonarqube.org