Damien Doligez

Author of the Zenon automatic theorem prover.

Topics:

• Garbage collecting wizard of the Caml team
• ICFP Programming Contest 2001; FAQ
• The camel's guts
• O'Caml main page; manual; bugs; bugs;
• Linux PPC
• Brute Force achievements
• Go (Igo, WeiQi, Baduk)
• Core War
• A primitive recursive function to enumerate prime numbers
• I broke Hal's SSL challenge, but I was only the second one to do it.
• The CamlStone Benchmark
• The Zmodem protocol
• Déclaration des droits de l'homme et du citoyen
• misc
• Do not follow this link.

email: damien.doligez-inria.fr

Damien Doligez
INRIA, projet Moscova, bâtiment 8
Domaine de Voluceau
B.P. 105
F-78153 Le Chesnay
France

- -