crates.io "bit-vector" keyword
sbits 0.2.4
Succinct data structures9 versions - Latest release: 10 days ago - 1.42 thousand downloads total - 0 stars on GitHub - 1 maintainer
gf2 2.1.0
Working in bit-space a.k.a. GF(2)4 versions - Latest release: 8 months ago - 8.69 thousand downloads total - 4 stars on GitHub - 1 maintainer
dryadsynth-bv 0.1.3
DryadSynth solver for bit manipulating programs2 versions - Latest release: over 1 year ago - 1.55 thousand downloads total - 30 stars on GitHub - 1 maintainer
marius-collector 0.5.0
Lock-free bit-vector collector for the Marius reactive engine. Pure Core, no async runtime.4 versions - Latest release: 3 months ago - 275 downloads total - 0 stars on GitHub - 1 maintainer
lim-bit-vec 0.8.2 💰
Limited bit vectors16 versions - Latest release: almost 3 years ago - 1 dependent package - 20.1 thousand downloads total - 3 stars on GitHub - 1 maintainer
patronus 0.39.3
Hardware bug-finding toolkit.31 versions - Latest release: 26 days ago - 38.2 thousand downloads total - 15 stars on GitHub - 1 maintainer
libpatron 0.17.3
Hardware bug-finding toolkit.50 versions - Latest release: over 2 years ago - 71.3 thousand downloads total - 15 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: almost 8 years ago - 2 dependent packages - 1 dependent repositories - 13.9 thousand downloads total - 3 stars on GitHub - 1 maintainer
u160 0.2.1 💰
Unsigned Integer 160 bits4 versions - Latest release: almost 3 years ago - 5.05 thousand downloads total - 3 stars on GitHub - 1 maintainer
bin-tree 0.10.1 💰
Building Binary Tree17 versions - Latest release: almost 3 years ago - 21 thousand downloads total - 3 stars on GitHub - 1 maintainer
fid 0.1.7
FID (Fully Indexable Dictionary) implementation for Rust8 versions - Latest release: about 6 years ago - 4 dependent packages - 2 dependent repositories - 73 thousand downloads total - 6 stars on GitHub - 1 maintainer
bit-list 0.28.2 💰
A lazy list of bits48 versions - Latest release: almost 3 years ago - 42 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: almost 8 years ago - 3 dependent packages - 3 dependent repositories - 13 thousand downloads total - 3 stars on GitHub - 1 maintainer
u144 0.7.2 💰
Unsigned Integer 144 bits11 versions - Latest release: almost 3 years ago - 13.2 thousand downloads total - 3 stars on GitHub - 1 maintainer
fixed-array 0.4.1 💰
Fixed-size array6 versions - Latest release: almost 3 years ago - 2 dependent packages - 12.7 thousand downloads total - 3 stars on GitHub - 1 maintainer
list-fn 0.20.1 💰
A generic lazy list37 versions - Latest release: almost 3 years ago - 2 dependent packages - 46.5 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: almost 6 years ago - 2.98 thousand downloads total - 0 stars on GitHub - 1 maintainer
sha2-compress 0.7.2 💰
SHA2 compress function16 versions - Latest release: almost 3 years ago - 19.8 thousand downloads total - 3 stars on GitHub - 1 maintainer
yagen 0.3.1 💰
Yet Another Generator Implementation4 versions - Latest release: almost 3 years ago - 5.31 thousand downloads total - 3 stars on GitHub - 1 maintainer
compacts-bits 0.2.1
succinct bit vector4 versions - Latest release: over 9 years ago - 2 dependent packages - 7.79 thousand downloads total - 5 stars on GitHub - 1 maintainer
publish-ws 0.1.11 💰
Publish Workspace Packages10 versions - Latest release: almost 3 years ago - 12.9 thousand downloads total - 3 stars on GitHub - 1 maintainer
uints 0.11.2 💰
Unsigned Integer Properties17 versions - Latest release: almost 3 years ago - 5 dependent packages - 24.4 thousand downloads total - 3 stars on GitHub - 1 maintainer
Related Keywords
rust
16
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
uint144
11
succinct
3
smt
2
btor
2
rtl
2
model-checking
2
bitvector
2
bits
2
index
2
indexing
2
data-structures
2
rust-library
2
wavelet-tree
1
succinct-data-structures
1
rank-select
1
const-fn
1
compact
1
bitvec
1
ecs
1
lock-free
1
marius
1
aot-compilation
1
codegen
1
data-oriented-design
1
nix
1
no-std
1
postgres
1
wasm
1
bit-matrix
1
bit-polynomial
1
gf2
1
linear-algebra
1
bit-array
1
bit-slice
1
numerical-methods
1
polynomials
1
bit-manipulating
1
dryadsynth
1
sygus
1
synthesis
1
sygus-solver
1
synthesizer
1
fid
1
fully-indexable-dictionary
1
succinct-data-structure
1