- Joined on Aug 21, 2018
A typed interface to the Racket generic graph library.
Updated 1 year ago
Utilities for function composition in Typed Racket.
Updated 2 years ago
This repository packages http://ginsim.org/ for Nix.
Updated 3 years ago
dds: A Home-made Toolkit for Discrete Dynamical Systems in Racket
Updated 11 hours ago
My short (2-page) CV in English.
Updated 11 months ago
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 4 weeks ago
The source code of my professional website.
Updated 1 week ago