Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "bit-vectors" keyword
Top 9.1% on hackage.haskell.org
19 versions - Latest release: 9 months ago - 2 dependent packages - 19 dependent repositories - 14.1 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: 9 months ago - 2 dependent packages - 19 dependent repositories - 14.1 thousand downloads total - 72 stars on GitHub - 2 maintainers
Top 4.0% on hackage.haskell.org
116 versions - Latest release: over 12 years ago - 8 dependent packages - 162 dependent repositories - 75.9 thousand downloads total - 233 stars on GitHub - 1 maintainer
sbv 0.9.24
Express properties about Haskell programs and automatically prove them using SMT (Satisfiability ...116 versions - Latest release: over 12 years ago - 8 dependent packages - 162 dependent repositories - 75.9 thousand downloads total - 233 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: over 7 years ago - 1 dependent repositories - 3.06 thousand downloads total - 5 stars on GitHub - 1 maintainer
bv-little 1.3.2
. This package contains a time- and space- efficient implementation of little-endian, immutable b...10 versions - Latest release: 7 months ago - 3 dependent packages - 2 dependent repositories - 3.95 thousand downloads total - 1 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 6 years ago - 16 dependent repositories - 10.7 thousand downloads total - 57 stars on GitHub - 1 maintainer
bv 0.4.1
Bit-vectors implemented as a thin wrapper over integers.8 versions - Latest release: almost 8 years ago - 1 dependent package - 30 dependent repositories - 7.68 thousand downloads total - 3 stars on GitHub - 1 maintainer
bv-sized 1.0.5
This module defines a width-parameterized bitvector type and various associated operations.16 versions - Latest release: over 1 year ago - 3 dependent packages - 21 dependent repositories - 11.1 thousand downloads total - 6 stars on GitHub - 4 maintainers
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 4 years ago - 588 downloads total - 0 stars on GitHub
Top 8.6% on hackage.haskell.org
bitwise 0.1.1
7 versions - Latest release: about 8 years ago - 3 dependent packages - 43 dependent repositories - 12.2 thousand downloads total - 1 maintainerbit-vector 0.2.0
Operations for using a vector of Booleans as a bit vector. Intended more for pedagogical purposes...2 versions - Latest release: about 9 years ago - 1 dependent repositories - 2.17 thousand downloads total - 2 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 1 year ago - 1 dependent repositories - 97 downloads total - 0 stars on GitHub - 1 maintainer
boolector 0.0.0.13
Haskell bindings for the Boolector SMT solver13 versions - Latest release: over 3 years ago - 2 dependent repositories - 5.85 thousand downloads total - 4 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 3 years ago - 165 downloads total - 1 maintainer
Related Keywords