• Joined on Aug 21, 2018
Racket 0 0

A typed interface to the Racket generic graph library.

Updated 4 weeks ago

Racket 0 0

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

Updated 1 month ago

Haskell 0 0

The source code of my professional website.

Updated 1 month ago

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.

Updated 1 month ago

Racket 0 0

Utilities for function composition in Typed Racket.

Updated 2 months ago

Nix 0 0

This repository packages for Nix.

Updated 12 months ago

TeX 0 0

My short (2-page) CV in English.

Updated 1 year ago