Utilities for function composition in Typed Racket.

最後更新於 4 天之前

The source code of my professional website.

最後更新於 1 周之前

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.

最後更新於 1 周之前

A typed interface to the Racket generic graph library.

最後更新於 2 週之前

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

最後更新於 4 週之前

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

最後更新於 6 月之前

My short (2-page) CV in English.

最後更新於 11 月之前