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 4.0% on hackage.haskell.org
128 versions - Latest release: over 13 years ago - 8 dependent packages - 162 dependent repositories - 82 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 ...128 versions - Latest release: over 13 years ago - 8 dependent packages - 162 dependent repositories - 82 thousand downloads total - 240 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: almost 6 years ago - 682 downloads total - 0 stars on GitHub
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
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 - 12.9 thousand downloads total - 1 maintainer
Top 9.1% on hackage.haskell.org
19 versions - Latest release: almost 2 years ago - 2 dependent packages - 19 dependent repositories - 17.7 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: almost 2 years ago - 2 dependent packages - 19 dependent repositories - 17.7 thousand downloads total - 72 stars on GitHub - 2 maintainers
bit-array 0.1.2
A bit array (aka bitset, bitmap, bit vector) API for numeric types4 versions - Latest release: almost 9 years ago - 1 dependent repositories - 3.17 thousand downloads total - 5 stars on GitHub - 1 maintainer
bv 0.4.1
Bit-vectors implemented as a thin wrapper over integers.8 versions - Latest release: about 9 years ago - 1 dependent package - 30 dependent repositories - 8.08 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: 5 months ago - 9 dependent packages - 21 dependent repositories - 12.1 thousand downloads total - 6 stars on GitHub - 5 maintainers
bv-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.27 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 - 159 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: about 4 years ago - 206 downloads total - 1 maintainer
boolector 0.0.0.13
Haskell bindings for the Boolector SMT solver13 versions - Latest release: almost 5 years ago - 2 dependent repositories - 6.16 thousand downloads total - 5 stars on GitHub - 1 maintainer
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: about 7 years ago - 16 dependent repositories - 11.2 thousand downloads total - 58 stars on GitHub - 1 maintainer
Related Keywords
library
13
Propose Tags
13
bsd3
11
formal-methods
5
smt
5
data
5
math
4
theorem-provers
4
haskell
3
mit
2
data-structures
2
symbolic-computation
2
deprecated
1
verification
1
public-domain
1
bit-array
1
bitmap
1
bitmask
1
libgmp
1
vectors
1
pretty-printer
1
bitvector
1
endian-bit-vectors
1
api
1
z3
1