Popularity

9.6

Stable

Activity

9.3

Stars 235

Watchers 9

Forks 31

Last Commit 10 days ago

Monthly Downloads: 606

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

5.4 0.0 sbv VS bit-array

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

5.3 3.0 sbv VS hw-bits

Bit manipulation

InfluxDB - Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

Promo www.influxdata.com