Utilities for function composition in Typed Racket.
最后更新于 4 天前
The source code of my professional website.
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.
A typed interface to the Racket generic graph library.
最后更新于 2 周前
dds: A Home-made Toolkit for Discrete Dynamical Systems in Racket
最后更新于 4 周前
My short (2-page) CV in English.
最后更新于 11 个月前