Alternatives and similar repositories for bitvector

Users that are interested in bitvector are comparing it to the libraries listed below

• fclaude / libcds
  Compact Data Structures Library
  ☆129Updated 11 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• ot / succinct
  A collection of succinct data structures
  ☆211Updated 2 years ago
• tov / succinct-rs
  Succinct Data Structures for Rust
  ☆59Updated 7 months ago
• patmorin / arraylayout
  Experiments with array layouts for comparison-based searching
  ☆86Updated 2 years ago
• harp-lab / gdlog
  ☆87Updated last year
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆54Updated 7 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• AMDComputeLibraries / morton_filter
  A compressed, sparse cuckoo filter (see https://www.vldb.org/pvldb/vol11/p1041-breslow.pdf)
  ☆89Updated 5 years ago
• graydon / exhaustigen
  ☆11Updated 4 years ago
• ot / semi_index
  Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"
  ☆58Updated 13 years ago
• fclaude / libcds2
  Compact Data Structures Library
  ☆103Updated 3 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆84Updated 2 years ago
• pramalhe / CX
  A Wait-Free Universal Construct for Large Objects
  ☆96Updated 6 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 13 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 6 years ago
• siedentop / rapidfuzz
  Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
  ☆27Updated 8 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 6 years ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆21Updated 11 months ago
• tyrdbs / tyrdbs
  ☆22Updated 2 years ago
• cobusve / TLAPLUS_DeadlockEmpire
  Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC
  ☆22Updated 6 years ago
• gvinciguerra / la_vector
  🔶 Compressed bitvector/container supporting efficient random access and rank queries
  ☆46Updated last year
• sigurdschneider / lvc
  LVC verified compiler
  ☆60Updated 7 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆15Updated 10 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆61Updated 2 years ago
• frankmcsherry / dataflow-join
  An implementation of Ngo et al's GenericJoin in timely dataflow.
  ☆91Updated 6 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• graydon / photesthesis
  test framework
  ☆11Updated 4 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆14Updated 6 years ago