10

8

6

4

2


8.5

3.8
hz3

3.4

2.9

2 Bit Vectors packages and projects

  • hz3

    8.5 3.8 Haskell
    Bindings for the Z3 Theorem Prover
  • bv-little

    3.4 2.9 Haskell
    Efficient little-endian bit vector library

Add another 'Bit Vectors' Package