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
A collection of files I use to maintain my zettelkasten.
Updated 2021-07-13 13:16:59 +02:00
A simple game with stars and colors.
Updated 2022-10-23 23:13:52 +02:00
A python bot replying notifications with quotes.
Updated 2024-03-16 15:50:43 +01:00