crates.io "bit-vector" keyword
View the packages on the crates.io package registry that are tagged with the "bit-vector" keyword.
u160 0.2.1 💰
Unsigned Integer 160 bits4 versions - Latest release: almost 2 years ago - 4.71 thousand downloads total - 3 stars on GitHub - 1 maintainer
fid 0.1.7
FID (Fully Indexable Dictionary) implementation for Rust8 versions - Latest release: almost 5 years ago - 4 dependent packages - 2 dependent repositories - 51.1 thousand downloads total - 4 stars on GitHub - 1 maintainer
compacts-bits 0.2.1
succinct bit vector4 versions - Latest release: about 8 years ago - 2 dependent packages - 7.23 thousand downloads total - 5 stars on GitHub - 1 maintainer
uints 0.11.2 💰
Unsigned Integer Properties17 versions - Latest release: almost 2 years ago - 5 dependent packages - 22 thousand downloads total - 3 stars on GitHub - 1 maintainer
patronus 0.34.0
Hardware bug-finding toolkit.23 versions - Latest release: 11 days ago - 22.6 thousand downloads total - 11 stars on GitHub - 1 maintainer
bin-tree 0.10.1 💰
Building Binary Tree17 versions - Latest release: almost 2 years ago - 19.5 thousand downloads total - 3 stars on GitHub - 1 maintainer
fixed-array 0.4.1 💰
Fixed-size array6 versions - Latest release: almost 2 years ago - 2 dependent packages - 10.9 thousand downloads total - 3 stars on GitHub - 1 maintainer
dryadsynth-bv 0.1.3
DryadSynth solver for bit manipulating programs2 versions - Latest release: 5 months ago - 1.2 thousand downloads total - 28 stars on GitHub - 1 maintainer
sha2-compress 0.7.2 💰
SHA2 compress function16 versions - Latest release: almost 2 years ago - 18.2 thousand downloads total - 3 stars on GitHub - 1 maintainer
yagen 0.3.1 💰
Yet Another Generator Implementation4 versions - Latest release: almost 2 years ago - 4.81 thousand downloads total - 3 stars on GitHub - 1 maintainer
u144 0.7.2 💰
Unsigned Integer 144 bits11 versions - Latest release: almost 2 years ago - 12 thousand downloads total - 3 stars on GitHub - 1 maintainer
list-fn 0.20.1 💰
A generic lazy list37 versions - Latest release: almost 2 years ago - 2 dependent packages - 42.7 thousand downloads total - 3 stars on GitHub - 1 maintainer
libpatron 0.17.3
Hardware bug-finding toolkit.50 versions - Latest release: over 1 year ago - 66.3 thousand downloads total - 11 stars on GitHub - 1 maintainer
nanobv 0.1.1
Lightweight no_std-compatible const_fn oriented BitVector implementation.2 versions - Latest release: over 4 years ago - 2.69 thousand downloads total - 0 stars on GitHub - 1 maintainer
publish-ws 0.1.11 💰
Publish Workspace Packages10 versions - Latest release: almost 2 years ago - 11.9 thousand downloads total - 3 stars on GitHub - 1 maintainer
lim-bit-vec 0.8.2 💰
Limited bit vectors16 versions - Latest release: almost 2 years ago - 1 dependent package - 18.3 thousand downloads total - 3 stars on GitHub - 1 maintainer
indexed_bitvec 4.0.1
An indexed bitvector with (hopefully) fast rank and select operations.7 versions - Latest release: over 6 years ago - 3 dependent packages - 3 dependent repositories - 11.9 thousand downloads total - 3 stars on GitHub - 1 maintainer
indexed_bitvec_core 4.0.0
Core operations on indexed bitvectors including (hopefully) fast rank and select operations.7 versions - Latest release: over 6 years ago - 2 dependent packages - 1 dependent repositories - 12.5 thousand downloads total - 3 stars on GitHub - 1 maintainer
bit-list 0.28.2 💰
A lazy list of bits48 versions - Latest release: almost 2 years ago - 42 thousand downloads total - 3 stars on GitHub - 1 maintainer
Related Keywords
rust
14
uint144
11
uint
11
sha2
11
rust-workspace
11
rust-crate
11
lazy-lists
11
lazy-evaluation
11
iterator
11
functional-programming
11
fixed-array
11
bit-iterator
11
rust-library
2
data-structures
2
indexing
2
index
2
bits
2
bitvector
2
btor
2
model-checking
2
smt
2
rtl
2
succinct
2
synthesis
1
dryadsynth
1
bit-manipulating
1
sygus
1
sygus-solver
1
synthesizer
1
const-fn
1
compact
1
succinct-data-structure
1
fully-indexable-dictionary
1
fid
1