Code

LSH Generator™ 3000 ®

LSH Generator™ 3000 ® is professional Open-Source © solution designed to solve typical problems encountered in the daily life of philosophy professors. Conceived upon a scientifical study of the awing corpus delivered by the tous.ens mailing-list, our product provides a full-fledged, ISO 9001 certified, genetic bio-randomized algorithm which generates ready-to-use conference titles that suit your needs.

To fully take advantage of the socio-linguistic pragmatics, LSH Generator™ 3000 ® uses the only language able to convey philosophical subtelties, namely French. This ensures a meaningful statement in more than 97.3% of the generated cases.

You can try it online!

LSH Generator™ 3000 ®

The source code is available here.

Coqtail

A library about real analysis in Coq. Available here.

OCaml-Mediawiki

A library to interact with the Mediawiki software through its API in OCaml. Get it there.

Zamel

A software to apply rules describing diachronic phonetic evolution on a given lexicon. Get it there.