10

8

6

4

2


9.6

9.9
sbv

5.2
0.0

4.8

3.0

3.6
0.0

3.5
0.0

2.5

2.7

6 Bit Vectors packages and projects

  • sbv

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

    5.2 0.0 Haskell
    A bit array (aka bitset, bitmap, bit vector) API for numeric types
  • Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
    Promo coderabbit.ai
    CodeRabbit Logo
  • hw-bits

    4.8 3.0 Haskell
    Bit manipulation
  • bit-vector

    3.6 0.0 Haskell
    Simple bit vectors for Haskell
  • bitvec

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

    2.5 2.7 Roff
    String parser

Add another 'Bit Vectors' Package