Daniel de Rauglaudre

Bonjour et bienvenue
chez
Daniel de Rauglaudre

Puiseuxth, Théorème de Puiseux, preuve formelle en Coq et logiciel calculant les zéros (15 juin 2020).
Camlp5, préprocesseur syntaxique pour ocaml (7.10 - 25 août 2019).
Ledit, éditeur ligne en ocaml (2.04 - 24 janvier 2018).
MLbrot, fractales de Mandelbrot (1.02 - 31 oct 2016).
Mlrogue, rogue en ocaml (1.04 - 9 avr 2015)
Ocamlcl, extension de syntaxe pour faire du OCaml avec la syntaxe de Caml Light (0.4 - 4 mars 2014).
Mldiff, diff en ocaml (1.03 - 26 fév 2013).
Taskadd, ordonnanceur de tâches temps-réel qui utilise l'algèbre de Patrick Meumeu (1.03 - 5 mars 2012).
Olibrt, toolkit+jeux en ocaml (1.11 - 23 fév 2012).
IoXML, analyseurs syntaxiques et imprimeurs XML de types ocaml (0.9 - 16 déc 2010).
SAS-Dameid, simulation de tâches temps réel périodiques (0.00 - 6 nov 2011).
GeneWeb, logiciel de généalogie.

Nombres réels : poème sur mes recherches dans les nombres réels (tentative de les implémenter en Coq - 2019).
Ancien comédien du Théâtre des Deux Rives de Versailles.
Interprétation de chansons de Brassens sur YouTube.

Dernière modification : 15 juin 2020.
courriel