OCaml Fuzzy Type Search
Ultimate goal: Hoogle for OCaml, able to mine all your opam-installed packages, from the command-line.
PS: there will be no diophantine equation solver in there; just a hack to get 80% of the job done.