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

Updated 3 years ago

A library to implement a container similar to Data.Map except it associates values to intervals instead of pure keys

Updated 3 years ago

Timeline is a General Practitioner's swiss army knife. It is a software suite aiming at simplifying the relation between man and machine. Now GPs can finally concentrate on their clients while getting proper assistance from their computer device.

Updated 3 years ago

Small module for exploring the CISP-2 database

Updated 3 years ago

Publicly shared Nix packages

Updated 3 years ago

Vim script 0 0

Syntax highlighting for the MGS spatial-programming language

Updated 3 years ago

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

Updated 3 years ago

Here is where I store my Lilypond arrangements.

Updated 3 years ago

Lan party machine and network definition with nixops

Updated 3 years ago

Nix configuration for era

Updated 3 years ago

My xmonad config

Updated 2 weeks ago

My personal nixos overlay (vim, ...)

Updated 2 months ago

Using freeotp with Okta

Updated 3 years ago

Functionnal Programming Kata Series 2018

Updated 3 years ago

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

Updated 3 years ago

Shows what header you sent when requesting the server.

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

Python 0 0

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

Updated 3 years ago

A simple module to parse and display roman numerals

Updated 2 years ago

Updated 3 years ago