A simple game with stars and colors.
Updated 2022-10-23 23:13:52 +02:00
Exception handling, cause apparently it's missing from the Except Monad ?
Updated 2020-06-10 16:18:07 +02:00
A python bot replying notifications with quotes.
Updated 2024-03-16 15:50:43 +01:00
A collection of JS modules to meet basic needs for web clients.
Updated 2022-11-12 09:42:22 +01:00
A library to implement a norm and a distance on strings useful to quantify intervals in dictionaries.
Updated 2020-08-19 18:46:45 +02:00