A collection of files I use to maintain my zettelkasten.
Updated 2021-07-13 13:16:59 +02:00
A tool to replicate modifications on ALTO files on PDF files
Updated 2020-06-03 15:15:48 +02:00
A very simple script to generate text animations on one line.
Updated 2018-09-25 19:24:50 +02: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