An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

VITRO-ASEMIC was cultivated with mouth bacteria, agar, Photoshop, Illustrator, and FontForge. The process started by digitizing three petri dishes that were marked in the forms of the seven Henderson’s typtoms in order to cultivate consciousness that is beyond the human.

LaTeX PhD thesis template

generate algorithmic snowflakes for laser cutting

The four HTML applets are part of the dissertation "Parallelized Approaches to Conformal Mappings with applications to real-time calligraphy" of Lena Polke at the Technical University of Munich. The code is written in CindyJS.