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