Hello and Welcome
to
Daniel de Rauglaudre
Research engineer in
πr² team
,
Inria Paris
.
Softwares and Other
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.
My
YouTube
channel.
My first
integer sequence
on
OEIS
(
23rd May 2012
)!
Genealogy site
- database "roglo".
Unicode keyboard
.
Papers
Formal Proof of Banach-Tarski Paradox
- JFR 2017
Vérification formelle de conditions d'ordonnançabilité de tâches temps réel périodiques strictes
- JFLA 2012 (
bib
).
Last modified: 15th Jun 2020.
