10

8

6

4

2


9.5

8.4
sbv

5.1

3.1

5.0
0.0

4.5
0.0

4.1
0.0

3.2
0.0

6 Bit Vectors packages and projects

  • sbv

    9.5 8.4 Haskell
    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  • hw-bits

    5.1 3.1 Haskell
    Bit manipulation
  • Zigi monitors Jira and GitHub updates, pings you when PRs need approval and lets you take fast actions - all directly from Slack! Plus it reduces cycle time by up to 75%.
    Promo
  • bit-array

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

    4.5 0.0 Haskell
    Bit arrays for Haskell
  • bit-vector

    4.1 0.0 Haskell
    Simple bit vectors for Haskell
  • hw-string-parse

    3.2 0.0 Roff
    String parser

Add another 'Bit Vectors' Package