Mirror of NixOS-hardware
Updated 2024-03-18 18:42:08 +01:00
Mirror of home-manager
Updated 2024-03-17 23:37:03 +01:00
A python bot replying notifications with quotes.
Updated 2024-03-16 15:50:43 +01:00
My personal nixos overlay (vim, ...)
Updated 2024-03-11 07:20:49 +01:00
The source of my habilitation thesis, plus the CV.
Updated 2024-02-25 21:29:00 +01:00
Updated 2024-02-09 13:48:11 +01:00
The source code of my professional website.
Updated 2024-02-02 10:37:50 +01:00
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-02-01 18:54:31 +01:00
Mirror of Krops
Updated 2024-01-11 11:23:11 +01:00
Updated 2024-01-02 18:10:20 +01:00
Updated 2023-12-23 14:23:34 +01:00
The guix configuration for our home.
Updated 2023-12-09 19:05:15 +01:00
Updated 2023-12-05 21:00:58 +01:00
Mirror of NixOS/nixpkgs
Updated 2023-11-13 18:56:40 +01:00
My xmonad config
Updated 2023-11-03 16:13:43 +01:00
dds: A Home-made Toolkit for Discrete Dynamical Systems in Racket
Updated 2023-09-11 20:57:06 +02:00
The guix channel for my packages.
Updated 2023-09-03 23:15:31 +02:00
IDE layout for i3
Updated 2023-09-03 21:27:29 +02:00
Updated 2023-08-26 10:06:53 +02:00
Une vitrine pour des vidéos de patinage.
Updated 2023-08-24 00:00:38 +02:00