scolobb
0 Followers · 0 Following
  • Joined on 2018-08-21
Repositories
9
 Projects Packages Public Activity Starred Repositories
Filter
Sort
work-site
Haskell 0 0
The source code of my professional website.
Updated 2024-08-06 14:16:30 +02:00
dds
Racket 0 0
dds: A Home-made Toolkit for Discrete Dynamical Systems in Racket
Updated 2024-06-24 14:24:08 +02:00
dossier-complet
TeX 0 0
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 2024-05-22 17:06:25 +02:00
hdr
TeX 0 0
The source of my habilitation thesis, plus the CV.
Updated 2024-04-24 14:44:43 +02:00
tgb
Org 0 0
Un sous-ensemble de documents internes de l'association Tigres de Grand Bourg.
Updated 2023-07-30 23:42:02 +02:00
cv-en
TeX 0 0
My short (2-page) CV in English.
Updated 2022-05-11 14:05:41 +02:00
typed-graph
Racket 0 0
A typed interface to the Racket generic graph library.
Updated 2022-01-05 16:06:49 +01:00
typed-compose
Racket 0 0
Utilities for function composition in Typed Racket.
Updated 2021-05-02 15:51:39 +02:00
nix-GINsim
Nix 0 0
This repository packages http://ginsim.org/ for Nix.
Updated 2020-07-09 14:58:06 +02:00