/topfilter

Selection of the top N elements from a stream

Primary LanguageOCamlOtherNOASSERTION

Simple and fast selection of the top N elements from a stream.

The library currently provides just one module Topscore for selecting elements by score.