Mirror of NixOS-hardware
Updated 2024-05-20 04:38:05 +02:00
Mirror of home-manager
Updated 2024-05-20 04:00:40 +02:00
My xmonad config
Updated 2024-05-14 12:28:07 +02:00
The source code of my professional website.
Updated 2024-05-10 12:44:23 +02:00
Updated 2024-05-02 18:12:36 +02: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-04-29 21:11:21 +02:00
The source of my habilitation thesis, plus the CV.
Updated 2024-04-24 14:44:43 +02:00
The guix configuration for our home.
Updated 2024-03-30 17:40:46 +01: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
My personal nixos overlay (vim, ...)
Updated 2024-03-11 07:20:49 +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
Updated 2023-12-05 21:00:58 +01:00
Mirror of NixOS/nixpkgs
Updated 2023-11-13 18:56:40 +01:00
dds: A Home-made Toolkit for Discrete Dynamical Systems in Racket
Updated 2023-09-11 20:57:06 +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