Description
A Haskell library for bit vectors whose width is tracked as part of the type. This lets code express fixed-size binary values with stronger guarantees about size and operations.
Developers use it in hardware modeling, protocol work, cryptography-adjacent code, and type-safe binary manipulation. Width mismatches become easier to catch during development.