Packages tagged bit-vectors
13 packages have this tag.
[Merge tag] (trustees only)Related tags: library (13), bsd3 (11), data (5), formal-methods (5), smt (5), math (4), theorem-provers (4), data-structures (2), mit (2), symbolic-computation (2), deprecated (1), pretty-printer (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| bit-array | 4 | 0.0 | 1 | A bit array (aka bitset, bitmap, bit vector) API for numeric types | (bit-vectors, data-structures, library, mit, pretty-printer) | 2016-10-01 | 0.1.2 | NikitaVolkov |
| bit-vector | 2 | 0.0 | 1 | Simple bit vectors for Haskell | (bit-vectors, bsd3, data, library) | 2015-03-24 | 0.2.0 | AdamFoltzer |
| bitvec | 39 | 2.25 | 18 | Space-efficient bit vectors | (bit-vectors, bsd3, data, library, public-domain) | 2023-08-15 | 1.1.5.0 | JamesCook, Bodigrim |
| bitwise | 10 | 0.0 | 6 | fast multi-dimensional unboxed bit packed Bool arrays | (bit-vectors, bsd3, data, data-structures, library) | 2018-04-26 | 1.0.0.1 | ClaudeHeilandAllen |
| boolector | 14 | 0.0 | 1 | Haskell bindings for the Boolector SMT solver | (bit-vectors, formal-methods, library, math, mit, smt, theorem-provers) | 2020-08-20 | 0.0.0.13 | DeianStefan |
| bv | 6 | 0.0 | 7 | Bit-vector arithmetic library | (bit-vectors, bsd3, data, library) | 2018-03-11 | 0.5 | IagoAbal |
| bv-little | 11 | 2.0 | 3 | Efficient little-endian bit vector library | (bit-vectors, bsd3, data, library) | 2023-10-03 | 1.3.2 | recursion_ninja |
| bv-sized | 28 | 2.0 | 12 | a bitvector datatype that is parameterized by the vector width | (bit-vectors, bsd3, library) | 2025-03-05 | 1.0.6 | KevinQuick, ryanglscott, benselfridge, galoisinc, sauclovian_g |
| bv-sized-lens | 1 | 0.0 | 0 | Well-typed lenses for bv-sized bitvectors. | (bit-vectors, bsd3, library) | 2021-05-06 | 0.1.0.0 | benselfridge |
| hz3 (deprecated) | 2 | 0.0 | 0 | Bindings for the Z3 Theorem Prover | (bit-vectors, bsd3, deprecated, formal-methods, library, math, smt, theorem-provers) | 2019-10-01 | 96.0.0.0 | |
| sbv | 287 | 2.75 | 12 | SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. | (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers) | 2025-05-16 | 11.7 | LeventErkok |
| sbv-program | 5 | 0.0 | 0 | Component-based program synthesis using SBV | (bit-vectors, bsd3, formal-methods, library, smt, symbolic-computation) | 2023-01-26 | 1.1.0.0 | arrowd |
| z3 | 14 | 2.25 | 6 | Bindings for the Z3 Theorem Prover | (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers) | 2020-08-29 | 408.2 | IagoAbal |