Verified hash-based AMQ structures in Coq
-
Updated
Apr 13, 2020 - Coq
Verified hash-based AMQ structures in Coq
Probabilistic data structures in python http://pyprobables.readthedocs.io/en/latest/index.html
Probabilistic Data Structure Template Library
Benchmarking Bloom, Cuckoo, Morton, and PD based filter.
Efficient bloom filter like datastructure, based on the Rank Select Quotient Filter (RSQF).
Add a description, image, and links to the quotient-filter topic page so that developers can more easily learn about it.
To associate your repository with the quotient-filter topic, visit your repo's landing page and select "manage topics."