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 년 전