Utilities for function composition in Typed Racket.

Mis à jour il y a 4 jours

The source code of my professional website.

Mis à jour il y a 1 semaine

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.

Mis à jour il y a 1 semaine

A typed interface to the Racket generic graph library.

Mis à jour il y a 2 semaines

dds: A Home-made Toolkit for Discrete Dynamical Systems in Racket

Mis à jour il y a 4 semaines

This repository packages http://ginsim.org/ for Nix.

Mis à jour il y a 6 mois

My short (2-page) CV in English.

Mis à jour il y a 11 mois