• Joined on 2018-08-21
The source code of my professional website.
Updated 2024-10-30 21:23:22 +01:00
A typed interface to the Racket generic graph library.
Updated 2024-09-14 15:01:23 +02:00
Utilities for function composition in Typed Racket.
Updated 2024-09-14 15:01:23 +02:00
Un sous-ensemble de documents internes de l'association Tigres de Grand Bourg.
Updated 2024-09-14 15:01:23 +02:00
This repository packages http://ginsim.org/ for Nix.
Updated 2024-09-14 15:33:30 +02:00
The source of my habilitation thesis, plus the CV.
Updated 2024-09-14 15:01:23 +02:00
This is my complete academic CV in French (hence the name) which I used to get my position in Évry and which I still maintaining up to date.
Updated 2024-11-08 11:09:57 +01:00
dds: A Home-made Toolkit for Discrete Dynamical Systems in Racket
Updated 2024-09-14 15:01:22 +02:00