My personal nixos overlay (vim, ...)

最終更新 4日前

My xmonad config

最終更新 6日前

最終更新 1週間前

Solutions to the https://adventofcode.com/2020

最終更新 4週間前

Generate a podcast.xml file according to the contents of the shows folder

最終更新 1年前

Project beedza was developped during the french Complex System Summer School happening at Le Havre, France from the 8th of july to the 18th of july.

最終更新 1年前

Shows what header you sent when requesting the server.

最終更新 1年前

Base Docker image which includes minimal shared libraries for GHC-compiled executables

最終更新 1年前

Functionnal Programming Kata Series 2018

最終更新 1年前

Using freeotp with Okta

最終更新 1年前

Nix configuration for era

最終更新 1年前

Voici le code source de mon manuscrit de thèse de doctorat, avec les corrections

最終更新 1年前

Voici le code source de la présentation de ma soutenance de thèse, donnée le 6 juillet 2017 à 10h.

最終更新 1年前

Lan party machine and network definition with nixops

最終更新 1年前

Here is where I store my Lilypond arrangements.

最終更新 1年前