My personal nixos overlay (vim, ...)
Upraveno před 4 dny
My xmonad config
Upraveno před 6 dny
Upraveno před 1 týdnem
Solutions to the https://adventofcode.com/2020
Upraveno před 4 týdny
Generate a podcast.xml file according to the contents of the shows folder
Upraveno před 1 rokem
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.
Upraveno před 1 rokem
Shows what header you sent when requesting the server.
Upraveno před 1 rokem
Base Docker image which includes minimal shared libraries for GHC-compiled executables
Upraveno před 1 rokem
Functionnal Programming Kata Series 2018
Upraveno před 1 rokem
Using freeotp with Okta
Upraveno před 1 rokem
Nix configuration for era
Upraveno před 1 rokem
Voici le code source de mon manuscrit de thèse de doctorat, avec les corrections
Upraveno před 1 rokem
Voici le code source de la présentation de ma soutenance de thèse, donnée le 6 juillet 2017 à 10h.
Upraveno před 1 rokem
Lan party machine and network definition with nixops
Upraveno před 1 rokem
Here is where I store my Lilypond arrangements.
Upraveno před 1 rokem