Utilities for function composition in Typed Racket.

Uppdaterad 4 dagar sedan

The source code of my professional website.

Uppdaterad 1 vecka sedan

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.

Uppdaterad 1 vecka sedan

A typed interface to the Racket generic graph library.

Uppdaterad 2 veckor sedan

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

Uppdaterad 4 veckor sedan

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

Uppdaterad 6 månader sedan

My short (2-page) CV in English.

Uppdaterad 11 månader sedan