crates.io "bit-vector" keyword
View the packages on the crates.io package registry that are tagged with the "bit-vector" keyword.
uints 0.11.2 💰
Unsigned Integer Properties17 versions - Latest release: over 1 year ago - 5 dependent packages - 21 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 - 49.2 thousand downloads total - 4 stars on GitHub - 1 maintainer
u144 0.7.2 💰
Unsigned Integer 144 bits11 versions - Latest release: over 1 year ago - 11.6 thousand downloads total - 3 stars on GitHub - 1 maintainer
dryadsynth-bv 0.1.3
DryadSynth solver for bit manipulating programs2 versions - Latest release: 4 months ago - 1.07 thousand downloads total - 28 stars on GitHub - 1 maintainer
yagen 0.3.1 💰
Yet Another Generator Implementation4 versions - Latest release: over 1 year ago - 4.64 thousand downloads total - 3 stars on GitHub - 1 maintainer
sha2-compress 0.7.2 💰
SHA2 compress function16 versions - Latest release: over 1 year ago - 17.5 thousand downloads total - 3 stars on GitHub - 1 maintainer
patronus 0.33.0
Hardware bug-finding toolkit.22 versions - Latest release: about 2 months ago - 20.6 thousand downloads total - 11 stars on GitHub - 1 maintainer
bin-tree 0.10.1 💰
Building Binary Tree17 versions - Latest release: over 1 year ago - 18.4 thousand downloads total - 3 stars on GitHub - 1 maintainer
list-fn 0.20.1 💰
A generic lazy list37 versions - Latest release: over 1 year ago - 2 dependent packages - 41.2 thousand downloads total - 3 stars on GitHub - 1 maintainer
fixed-array 0.4.1 💰
Fixed-size array6 versions - Latest release: over 1 year ago - 2 dependent packages - 10.5 thousand downloads total - 3 stars on GitHub - 1 maintainer
libpatron 0.17.3
Hardware bug-finding toolkit.50 versions - Latest release: about 1 year ago - 63.5 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.59 thousand downloads total - 0 stars on GitHub - 1 maintainer
publish-ws 0.1.11 💰
Publish Workspace Packages10 versions - Latest release: over 1 year ago - 11.4 thousand downloads total - 3 stars on GitHub - 1 maintainer
lim-bit-vec 0.8.2 💰
Limited bit vectors16 versions - Latest release: over 1 year ago - 1 dependent package - 17.6 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.2 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.5 thousand downloads total - 3 stars on GitHub - 1 maintainer
u160 0.2.1 💰
Unsigned Integer 160 bits4 versions - Latest release: over 1 year ago - 4.22 thousand downloads total - 3 stars on GitHub - 1 maintainer
compacts-bits 0.2.1
succinct bit vector4 versions - Latest release: about 8 years ago - 2 dependent packages - 6.62 thousand downloads total - 5 stars on GitHub - 1 maintainer
bit-list 0.28.2 💰
A lazy list of bits48 versions - Latest release: over 1 year 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
rtl
2
model-checking
2
btor
2
smt
2
bits
2
index
2
bitvector
2
indexing
2
data-structures
2
rust-library
2
succinct
2
const-fn
1
compact
1
synthesizer
1
sygus-solver
1
synthesis
1
sygus
1
dryadsynth
1
bit-manipulating
1
succinct-data-structure
1
fully-indexable-dictionary
1
fid
1