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 місяці тому