Verified hash-based AMQ structures in Coq
Probabilistic data structures in python http://pyprobables.readthedocs.i...
implementations of a counting bloom, a timing bloom and a scaling timing...