Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.

The Power of Prolog: Introduction to modern Prolog

Convert LaTeX documents into beautiful responsive web pages using LaTeXML.

Fonts and UFO Masters of Inria Serif and Inria Sans Typeface

Experimentations with Abstract Machines

SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)

Vamonos: browser-based algorithm visualization

joke page until I decide what to do with this domain name

An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary

just a demonstration...