Popularity

9.4

Stable

Activity

9.4

Declining

Stars 149

Watchers 6

Forks 19

Last Commit 3 days ago

Monthly Downloads: 515

Programming language: Haskell

License: GNU General Public License v3.0 or later

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.4 0.0 sbv VS hw-bits

Bit manipulation
bit-array

5.2 0.0 sbv VS bit-array

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

Scout APM: A developer's best friend. Try free for 14-days

Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

Promo scoutapm.com