The dream of Leibniz. A project devoted to realising the lingua characteristica and calculus ratiocinator using XML technologies where appropriate. Includes (at this stage mainly consists of) research in philosophy and logic.
A web application architecture for Objective Caml that enables the creation and management of dynamic content.
FORT (Framework for Ocaml Regression Testing) provides an environment for testing programs and Objective Caml modules.