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
• patmorin / arraylayout
  Experiments with array layouts for comparison-based searching
  ☆86Updated 2 years ago
• ot / succinct
  A collection of succinct data structures
  ☆211Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆54Updated 7 years ago
• gvinciguerra / la_vector
  🔶 Compressed bitvector/container supporting efficient random access and rank queries
  ☆46Updated last year
• graydon / exhaustigen
  ☆11Updated 4 years ago
• splatlab / rankselect
  Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences
  ☆15Updated 7 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• ot / path_decomposed_tries
  Implementation of the data structures described in the paper "Fast Compressed Tries using Path Decomposition".
  ☆58Updated 3 years ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆47Updated last year
• harp-lab / gdlog
  ☆87Updated last year
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 6 years ago
• PierreSenellart / provsql
  Adding support for provenance and uncertainty management to PostgreSQL databases
  ☆53Updated last month
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆21Updated 11 months 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
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆14Updated 6 years ago
• fclaude / libcds2
  Compact Data Structures Library
  ☆103Updated 3 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
• tov / succinct-rs
  Succinct Data Structures for Rust
  ☆59Updated 7 months ago
• jermp / interpolative_coding
  A flexible and efficient C++ implementation of the Binary Interpolative Coding algorithm.
  ☆31Updated 3 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆33Updated 5 years ago
• tlaplus / PlusCalCheatSheet
  PlusCal Cheat Sheet by Stephan Merz
  ☆25Updated last year
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆64Updated 8 years ago
• AMDComputeLibraries / morton_filter
  A compressed, sparse cuckoo filter (see https://www.vldb.org/pvldb/vol11/p1041-breslow.pdf)
  ☆89Updated 5 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆60Updated 7 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆11Updated 6 years ago
• jermp / mutable_rank_select
  A SIMD-based C++ library providing rank/select queries over mutable bitmaps.
  ☆36Updated 3 years ago
• CountOnes / hamming_weight
  C library to compute the Hamming weight of arrays
  ☆51Updated 7 years ago