Hello and Welcome
to
Daniel de Rauglaudre
- Puiseuxth,
Puiseux's theorem, formal proof in Coq and software computing
zeroes (15th Jun 2020).
- Camlp5,
syntactic preprocessor for OCaml (7.10 - 25th Aug
2019).
- Ledit, line editor in ocaml (2.04 -
24th Jan 2018).
- MLbrot, Mandelbrot fractals (1.02 -
31st Oct 2016).
- Mlrogue, rogue game in ocaml
(1.04 - 9th Apr 2015).
- Ocamlcl, syntax extension to program
in OCaml with Caml Light syntax (0.4 - 4th Mar
2014).
- Mldiff, diff in ocaml (1.03 - 26th
Feb 2013).
- Taskadd, scheduler of real-time tasks
using Patrick Meumeu's algebra (1.03 - 05 Mar
2012).
- Olibrt, toolkit+games in ocaml (1.11 -
23rd Feb 2010).
- IoXML, XML parsers and printers of ocaml types
(0.9 - 16th Dec 2010).
- SAS-Dameid, Simulation of real-time
periodic tasks (0.00 - 6th Nov 2011).
- GeneWeb, a software of
genealogy.
geek
Papers
Last modified: 15th Jun 2020.
email
Valid XHTML 1.1