Popularity

9.5

Growing

Activity

9.2

Declining

Stars 169

Watchers 7

Forks 24

Last Commit 25 days ago

Monthly Downloads: 249

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.2 3.5 sbv VS hw-bits

Bit manipulation
bit-array

5.1 0.0 sbv VS bit-array

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

Less time debugging, more time building

Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

Promo scoutapm.com