crates.io "bit-vector" keyword
indexed_bitvec_core 4.0.0
Core operations on indexed bitvectors including (hopefully) fast rank and select operations.7 versions - Latest release: about 7 years ago - 2 dependent packages - 1 dependent repositories - 13.6 thousand downloads total - 3 stars on GitHub - 1 maintainer
gf2 2.1.0
Working in bit-space a.k.a. GF(2)4 versions - Latest release: about 1 month ago - 77 downloads total - 1 maintainer
bin-tree 0.10.1 💰
Building Binary Tree17 versions - Latest release: over 2 years ago - 20.8 thousand downloads total - 3 stars on GitHub - 1 maintainer
uints 0.11.2 💰
Unsigned Integer Properties17 versions - Latest release: over 2 years ago - 5 dependent packages - 23.7 thousand downloads total - 3 stars on GitHub - 1 maintainer
fid 0.1.7
FID (Fully Indexable Dictionary) implementation for Rust8 versions - Latest release: over 5 years ago - 4 dependent packages - 2 dependent repositories - 55.4 thousand downloads total - 4 stars on GitHub - 1 maintainer
indexed_bitvec 4.0.1
An indexed bitvector with (hopefully) fast rank and select operations.7 versions - Latest release: about 7 years ago - 3 dependent packages - 3 dependent repositories - 12.8 thousand downloads total - 3 stars on GitHub - 1 maintainer
compacts-bits 0.2.1
succinct bit vector4 versions - Latest release: over 8 years ago - 2 dependent packages - 7.64 thousand downloads total - 5 stars on GitHub - 1 maintainer
list-fn 0.20.1 💰
A generic lazy list37 versions - Latest release: over 2 years ago - 2 dependent packages - 46 thousand downloads total - 3 stars on GitHub - 1 maintainer
lim-bit-vec 0.8.2 💰
Limited bit vectors16 versions - Latest release: over 2 years ago - 1 dependent package - 19.9 thousand downloads total - 3 stars on GitHub - 1 maintainer
libpatron 0.17.3
Hardware bug-finding toolkit.50 versions - Latest release: almost 2 years ago - 70.8 thousand downloads total - 12 stars on GitHub - 1 maintainer
bit-list 0.28.2 💰
A lazy list of bits48 versions - Latest release: over 2 years ago - 42 thousand downloads total - 3 stars on GitHub - 1 maintainer
nanobv 0.1.1
Lightweight no_std-compatible const_fn oriented BitVector implementation.2 versions - Latest release: about 5 years ago - 2.96 thousand downloads total - 0 stars on GitHub - 1 maintainer
yagen 0.3.1 💰
Yet Another Generator Implementation4 versions - Latest release: over 2 years ago - 5.28 thousand downloads total - 3 stars on GitHub - 1 maintainer
u160 0.2.1 💰
Unsigned Integer 160 bits4 versions - Latest release: over 2 years ago - 5.03 thousand downloads total - 3 stars on GitHub - 1 maintainer
u144 0.7.2 💰
Unsigned Integer 144 bits11 versions - Latest release: over 2 years ago - 13.1 thousand downloads total - 3 stars on GitHub - 1 maintainer
sha2-compress 0.7.2 💰
SHA2 compress function16 versions - Latest release: over 2 years ago - 19.7 thousand downloads total - 3 stars on GitHub - 1 maintainer
publish-ws 0.1.11 💰
Publish Workspace Packages10 versions - Latest release: over 2 years ago - 12.9 thousand downloads total - 3 stars on GitHub - 1 maintainer
dryadsynth-bv 0.1.3
DryadSynth solver for bit manipulating programs2 versions - Latest release: 11 months ago - 1.48 thousand downloads total - 29 stars on GitHub - 1 maintainer
patronus 0.35.0
Hardware bug-finding toolkit.26 versions - Latest release: 25 days ago - 29.8 thousand downloads total - 12 stars on GitHub - 1 maintainer
fixed-array 0.4.1 💰
Fixed-size array6 versions - Latest release: over 2 years ago - 2 dependent packages - 12.1 thousand downloads total - 3 stars on GitHub - 1 maintainer
Related Keywords
rust
14
lazy-lists
11
lazy-evaluation
11
iterator
11
functional-programming
11
fixed-array
11
bit-iterator
11
rust-crate
11
rust-workspace
11
sha2
11
uint
11
uint144
11
succinct
2
rtl
2
smt
2
model-checking
2
btor
2
rust-library
2
data-structures
2
bits
2
indexing
2
bitvector
2
index
2
synthesizer
1
sygus-solver
1
synthesis
1
sygus
1
dryadsynth
1
bit-manipulating
1
const-fn
1
compact
1
succinct-data-structure
1
fully-indexable-dictionary
1
fid
1
linear-algebra
1
bit-matrix
1
gf2
1
bit-polynomial
1