Marly, the micro data mining library.