quotient-filter topic

Probabilistic data structures in python http://pyprobables.readthedocs.io/en/latest/index.html

barrust

Verified hash-based AMQ structures in Coq

verse-lab

Probabilistic Data Structure Template Library

zaghaghi