hackage.haskell.org "bit-vectors" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "bit-vectors" keyword.
Top 9.1% on hackage.haskell.org
19 versions - Latest release: about 2 years ago - 2 dependent packages - 19 dependent repositories - 17.8 thousand downloads total - 72 stars on GitHub - 2 maintainers
bitvec 1.1.5.0
A newtype over Bool with a better Vector instance: 8x less memory, up to 3500x faster. The vecto...19 versions - Latest release: about 2 years ago - 2 dependent packages - 19 dependent repositories - 17.8 thousand downloads total - 72 stars on GitHub - 2 maintainers
z3 4.3.1
Bindings for the Z3 4.x Theorem Prover (https://github.com/Z3Prover/z3). Z3.Base.C provides the ...15 versions - Latest release: over 7 years ago - 16 dependent repositories - 11.3 thousand downloads total - 60 stars on GitHub - 1 maintainer
boolector 0.0.0.13
Haskell bindings for the Boolector SMT solver13 versions - Latest release: about 5 years ago - 2 dependent repositories - 6.21 thousand downloads total - 5 stars on GitHub - 1 maintainer
bit-array 0.1.2
A bit array (aka bitset, bitmap, bit vector) API for numeric types4 versions - Latest release: about 9 years ago - 1 dependent repositories - 3.19 thousand downloads total - 5 stars on GitHub - 1 maintainer
Top 4.0% on hackage.haskell.org
129 versions - Latest release: almost 14 years ago - 8 dependent packages - 162 dependent repositories - 82.7 thousand downloads total - 240 stars on GitHub - 1 maintainer
sbv 0.9.24
Express properties about Haskell programs and automatically prove them using SMT (Satisfiability ...129 versions - Latest release: almost 14 years ago - 8 dependent packages - 162 dependent repositories - 82.7 thousand downloads total - 240 stars on GitHub - 1 maintainer
Top 8.6% on hackage.haskell.org
bitwise 0.1.1
7 versions - Latest release: over 9 years ago - 3 dependent packages - 43 dependent repositories - 13 thousand downloads total - 1 maintainerbv-little 1.3.2
. This package contains a time- and space- efficient implementation of little-endian, immutable b...10 versions - Latest release: almost 2 years ago - 3 dependent packages - 2 dependent repositories - 4.33 thousand downloads total - 1 stars on GitHub - 1 maintainer
sbv-program 1.1.0.0
Given a library of available componen functions, synthesize a program implementing a specification.2 versions - Latest release: over 2 years ago - 1 dependent repositories - 172 downloads total - 0 stars on GitHub - 1 maintainer
bv-sized-lens 0.1.0.0
Well-typed lenses for bv-sized bitvectors. Use with bv-sized and parameterized-utils.1 version - Latest release: over 4 years ago - 211 downloads total - 1 maintainer
bit-vector 0.2.0
Operations for using a vector of Booleans as a bit vector. Intended more for pedagogical purposes...2 versions - Latest release: over 10 years ago - 1 dependent repositories - 2.28 thousand downloads total - 2 stars on GitHub - 1 maintainer
hz3 96.0.0.0 💰
Fork of z3 with future-proof version-numbering scheme Bindings for the Z3 4.x Theorem Prover (ht...1 version - Latest release: about 6 years ago - 684 downloads total - 0 stars on GitHub
bv 0.4.1
Bit-vectors implemented as a thin wrapper over integers.8 versions - Latest release: over 9 years ago - 1 dependent package - 30 dependent repositories - 8.09 thousand downloads total - 4 stars on GitHub - 1 maintainer
bv-sized 1.0.6
This module defines a width-parameterized bitvector type and various associated operations.17 versions - Latest release: 7 months ago - 9 dependent packages - 21 dependent repositories - 12.2 thousand downloads total - 6 stars on GitHub - 5 maintainers
Related Keywords
library
13
Propose Tags
13
bsd3
11
smt
5
formal-methods
5
data
5
math
4
theorem-provers
4
haskell
3
symbolic-computation
2
data-structures
2
mit
2
deprecated
1
endian-bit-vectors
1
bitvector
1
verification
1
pretty-printer
1
z3
1
api
1
public-domain
1
vectors
1
libgmp
1
bitmask
1
bitmap
1
bit-array
1