10

8

6

4

2


9.6

9.2
sbv

5.4
0.0

5.3

3.0

4.1
0.0

3.9
0.0

3.3

2.7

6 Bit Vectors packages and projects

  • sbv

    9.6 9.2 Haskell
    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  • bit-array

    5.4 0.0 Haskell
    A bit array (aka bitset, bitmap, bit vector) API for numeric types
  • 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
    InfluxDB Logo
  • hw-bits

    5.3 3.0 Haskell
    Bit manipulation
  • bit-vector

    4.1 0.0 Haskell
    Simple bit vectors for Haskell
  • bitvec

    3.9 0.0 Haskell
    Bit arrays for Haskell
  • hw-string-parse

    3.3 2.7 Roff
    String parser

Add another 'Bit Vectors' Package