hackage.haskell.org "bit-vectors" keyword
bit-array 0.1.2
A bit array (aka bitset, bitmap, bit vector) API for numeric types4 versions - Latest release: over 9 years ago - 1 dependent repositories - 3.24 thousand downloads total - 5 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: almost 5 years ago - 232 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: almost 11 years ago - 1 dependent repositories - 2.3 thousand downloads total - 2 stars on GitHub - 1 maintainer
Top 4.0% on hackage.haskell.org
135 versions - Latest release: about 14 years ago - 8 dependent packages - 162 dependent repositories - 85.6 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 ...135 versions - Latest release: about 14 years ago - 8 dependent packages - 162 dependent repositories - 85.6 thousand downloads total - 240 stars on GitHub - 1 maintainer
bv-sized 1.0.7
This module defines a width-parameterized bitvector type and various associated operations.18 versions - Latest release: about 2 months ago - 9 dependent packages - 21 dependent repositories - 12.5 thousand downloads total - 6 stars on GitHub - 6 maintainers
bv-little 1.3.2
. This package contains a time- and space- efficient implementation of little-endian, immutable b...10 versions - Latest release: over 2 years ago - 3 dependent packages - 2 dependent repositories - 4.47 thousand downloads total - 1 stars on GitHub - 1 maintainer
bv 0.4.1
Bit-vectors implemented as a thin wrapper over integers.8 versions - Latest release: almost 10 years ago - 1 dependent package - 30 dependent repositories - 8.18 thousand downloads total - 4 stars on GitHub - 1 maintainer
Top 8.6% on hackage.haskell.org
bitwise 0.1.1
7 versions - Latest release: about 10 years ago - 3 dependent packages - 43 dependent repositories - 13.1 thousand downloads total - 1 maintainer
Top 9.1% on hackage.haskell.org
20 versions - Latest release: 21 days ago - 2 dependent packages - 19 dependent repositories - 18.2 thousand downloads total - 72 stars on GitHub - 2 maintainers
bitvec 1.1.6.0
A newtype over Bool with a better Vector instance: 8x less memory, up to 3500x faster. The vecto...20 versions - Latest release: 21 days ago - 2 dependent packages - 19 dependent repositories - 18.2 thousand downloads total - 72 stars on GitHub - 2 maintainers
boolector 0.0.0.13
Haskell bindings for the Boolector SMT solver13 versions - Latest release: over 5 years ago - 2 dependent repositories - 6.33 thousand downloads total - 5 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: about 3 years ago - 1 dependent repositories - 198 downloads total - 0 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: almost 8 years ago - 16 dependent repositories - 11.4 thousand downloads total - 60 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: over 6 years ago - 701 downloads total - 0 stars on GitHub
Related Keywords
library
13
Propose Tags
13
bsd3
11
data
5
formal-methods
5
smt
5
theorem-provers
4
math
4
haskell
3
symbolic-computation
2
mit
2
data-structures
2
pretty-printer
1
verification
1
bitvector
1
endian-bit-vectors
1
public-domain
1
bit-array
1
bitmap
1
bitmask
1
libgmp
1
vectors
1
api
1
z3
1
deprecated
1