Verified hash-based AMQ structures in Coq
Probabilistic data structures in python http://pyprobables.readthedocs.i...
Probabilistic Data Structure Template Library