Haskell Utils Bit Vectors

9.6

9.9

sbv

5.2

0.0

bit-array

4.8

3.0

hw-bits

3.6

0.0

bit-vector

3.5

0.0

bitvec

2.5

2.7

hw-string-parse

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

CodeRabbit: AI Code Reviews for Developers

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