10

8

6

4

2


9.8

9.8
sbv

4.7

6.7

3.6
0.0

3.6
0.0

3.3
0.0

3.0

4.7

6 Bit Vectors packages and projects

  • sbv

    9.8 9.8 Haskell
    SMT Based Verification
  • hw-bits

    4.7 6.7 Haskell
    Bit manipulation
  • bit-array

    3.6 0.0 Haskell
    A bit array (aka bitset, bitmap, bit vector) API for numeric types
  • bit-vector

    3.6 0.0 Haskell
    Simple bit vectors for Haskell
  • bitvec

    3.3 0.0 Haskell
    Unboxed vectors of bits / dense IntSets
  • hw-string-parse

    3.0 4.7 Shell
    String parser

Add another 'Bit Vectors' Package