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 месяцев назад