Verified hash-based AMQ structures in Coq
-
Updated
Apr 13, 2020 - Coq
#
quotient-filter
Here are 6 public repositories matching this topic...
Probabilistic data structures in python http://pyprobables.readthedocs.io/en/latest/index.html
python data-science data-mining datastructures probability bloom-filter bitarray data-structures data-analysis count-min-sketch probabilistic-programming cuckoo-filter counting-bloom-filter count-mean-min-sketch counting-cuckoo-filter count-mean-sketch heavy-hitters stream-threshold quotient-filter
-
Updated
Sep 15, 2025 - Python
Probabilistic Data Structure Template Library
big-data datastructures cpp14 bloom-filter template-library probabilistic-data-structures quotient-filter
-
Updated
Jun 18, 2020 - C++
Efficient bloom filter like datastructure, based on the Rank Select Quotient Filter (RSQF).
-
Updated
Apr 27, 2025 - Rust
Benchmarking Bloom, Cuckoo, Morton, and PD based filter.
bloom bloom-filters bloom-filter comparison simd cuckoo-filter filtering membership-query cuckoofilter quotient-filter comparing-filters pocket-dictionary
-
Updated
Mar 19, 2022 - C++
A high-performance DuckDB extension providing probabilistic data structures for fast set membership testing and approximate duplicate detection. This extension implements state-of-the-art filter algorithms including Quotient filters, XOR filters, Binary Fuse filters, and soon Bloom filters.
bloom-filters bloom-filter amq xor-filter quotient-filter approximate-membership-query duckdb duckdb-extension binary-fuse-filter
-
Updated
Sep 15, 2025 - C++
Improve this page
Add a description, image, and links to the quotient-filter topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the quotient-filter topic, visit your repo's landing page and select "manage topics."