Updated 2024-09-14 15:01:23 +02:00
A Nix derivation to easily install the packages I publish.
Updated 2024-09-14 15:01:23 +02:00
Utilities for function composition in Typed Racket.
Updated 2024-09-14 15:01:23 +02:00
A typed interface to the Racket generic graph library.
Updated 2024-09-14 15:01:23 +02:00
A collection of files I use to maintain my zettelkasten.
Updated 2024-09-14 15:01:23 +02:00
The guix configuration for our home.
Updated 2024-09-14 15:01:23 +02:00
The Web Tool Kit.
Updated 2024-09-14 15:01:23 +02:00
A simple game with stars and colors.
Updated 2024-09-14 15:01:23 +02:00
The guix channel for my packages.
Updated 2024-09-14 15:01:23 +02:00
Un sous-ensemble de documents internes de l'association Tigres de Grand Bourg.
Updated 2024-09-14 15:01:23 +02:00
The translated version of my PhD thesis.
Updated 2024-09-14 15:01:23 +02:00
Une vitrine pour des vidéos de patinage.
Updated 2024-09-14 15:01:23 +02:00
IDE layout for i3
Updated 2024-09-14 15:01:23 +02:00
Updated 2024-09-14 15:01:23 +02:00
Updated 2024-09-14 15:01:23 +02:00
The source of my habilitation thesis, plus the CV.
Updated 2024-09-14 15:01:23 +02:00
Updated 2024-09-14 15:01:22 +02:00
This is the backend library implementing the logic of the Hanafuda game.
Updated 2024-09-14 15:01:22 +02:00
A webapp to play Hanafuda online.
Updated 2024-09-14 15:01:22 +02:00
A bot with a simple strategy.
Updated 2024-09-14 15:01:22 +02:00