Popularity

9.6

Stable

Activity

9.8

Growing

Stars 266

Watchers 6

Forks 48

Last Commit 4 days ago

Monthly Downloads: 660

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.

bit-array

4.7 0.0 sbv VS bit-array

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

4.4 0.0 sbv VS hw-bits

Bit manipulation

Stop vibe-debugging. Every exception, every backtrace, grouped so you see patterns, not noise.

Promo www.appsignal.com

Do you think we are missing an alternative of sbv or a related project?

README