The source code of my professional website.

Updated 1 day ago

A simple module to parse and display roman numerals

Updated 3 days ago

A webapp to play Hanafuda online.

Updated 6 days ago

The language spoken by the server and clients over the websocket.

Updated 6 days ago

My personal nixos overlay (vim, ...)

Updated 1 week ago

A bot with a simple strategy.

Updated 1 week ago

Updated 1 week ago

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

Updated 2 weeks ago

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.

Updated 2 weeks ago

Shows what header you sent when requesting the server.

Updated 2 weeks ago

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

Updated 2 weeks ago

Functionnal Programming Kata Series 2018

Updated 2 weeks ago

Using freeotp with Okta

Updated 2 weeks ago

Nix configuration for era

Updated 2 weeks ago

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

Updated 2 weeks ago

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

Updated 2 weeks ago

Lan party machine and network definition with nixops

Updated 2 weeks ago

Here is where I store my Lilypond arrangements.

Updated 2 weeks ago

Configurations of user programs (install/remove with GNU stow)

Updated 2 weeks ago

Syntax highlighting for the MGS spatial-programming language

Updated 2 weeks ago