- semantic 30 A Python library for extracting semantic information from text, such as dates and numbers.
- point-location 28 Kirkpatrick's Algorithm for Log(n) point location in planar subdivisions.
- java-ml 18 Java implementations of several Machine Learning classification algorithms.
- OCaml-SAT-Solvers 12 An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.