My personal nixos overlay (vim, ...)

更新於 7 小時前

My xmonad config

更新於 2 天前

更新於 4 天前

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

更新於 3 週前

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 年前