Utilities for function composition in Typed Racket.

Atualizado 4 dias atrás

The source code of my professional website.

Atualizado 1 semana atrás

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.

Atualizado 1 semana atrás

A typed interface to the Racket generic graph library.

Atualizado 2 semanas atrás

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

Atualizado 4 semanas atrás

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

Atualizado 6 meses atrás

My short (2-page) CV in English.

Atualizado 11 meses atrás