Utilities for function composition in Typed Racket.
Updated 2021-05-02 15:51:39 +02:00
A typed interface to the Racket generic graph library.
Updated 2022-01-05 16:06:49 +01:00
A collection of files I use to maintain my zettelkasten.
Updated 2021-07-13 13:16:59 +02:00
Updated 2023-04-20 00:29:35 +02:00
The guix configuration for our home.
Updated 2023-12-09 19:05:15 +01:00
The Web Tool Kit.
Updated 2022-11-12 11:27:06 +01:00
A simple game with stars and colors.
Updated 2022-10-23 23:13:52 +02:00
The guix channel for my packages.
Updated 2024-03-26 09:07:29 +01:00
A python bot replying notifications with quotes.
Updated 2024-03-16 15:50:43 +01:00
Another Advent of Code (https://adventofcode.com/2022) in Haskell
Updated 2022-12-16 20:07:40 +01:00
An XDG cursor theme adapted from the default cursor theme in a hacked version of Windows XP (Windows LSD).
Updated 2023-01-28 22:35:15 +01:00
unclechu's fork of gRPC-haskell
Updated 2022-07-30 04:33:48 +02:00
Updated 2023-02-17 19:34:24 +01:00
Updated 2023-08-26 10:06:53 +02:00
Un sous-ensemble de documents internes de l'association Tigres de Grand Bourg.
Updated 2023-07-30 23:42:02 +02:00
The translated version of my PhD thesis.
Updated 2023-04-22 10:15:50 +02:00
Une vitrine pour des vidéos de patinage.
Updated 2023-08-24 00:00:38 +02:00
IDE layout for i3
Updated 2023-09-03 21:27:29 +02:00
Updated 2023-12-05 21:00:58 +01:00
Updated 2023-12-23 14:23:34 +01:00