The code for a web application to play hanafuda.
Updated 2 years ago
A webapp to play Hanafuda online.
Updated 2 years ago
A bot with a simple strategy.
Updated 2 years ago
The language spoken by the server and clients over the websocket.
Updated 2 years ago
This is the backend library implementing the logic of the Hanafuda game.
Updated 3 years ago
A guessing game in CLI.
Updated 3 years ago
Generate a podcast.xml file according to the contents of the shows folder
Updated 3 years 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 3 years ago
Shows what header you sent when requesting the server.
Updated 3 years ago
Base Docker image which includes minimal shared libraries for GHC-compiled executables
Updated 3 years ago
Functionnal Programming Kata Series 2018
Updated 3 years ago
Using freeotp with Okta
Updated 3 years ago
Nix configuration for era
Updated 3 years ago
Voici le code source de mon manuscrit de thèse de doctorat, avec les corrections
Updated 3 years ago
Voici le code source de la présentation de ma soutenance de thèse, donnée le 6 juillet 2017 à 10h.
Updated 3 years ago
Lan party machine and network definition with nixops
Updated 3 years ago
Here is where I store my Lilypond arrangements.
Updated 3 years ago
Configurations of user programs (install/remove with GNU stow)
Updated 3 years ago
Syntax highlighting for the MGS spatial-programming language
Updated 3 years ago
Publicly shared Nix packages
Updated 3 years ago