An algorithm library written by Ocaml