Personal Projects
I now and then start a personal project on pretty anything I find interesting.
Software
Treecode
Encode a message with a tree. An alternative to QR Codes.
Javascript, HTML
Ideation • Code • Design
Javascript, HTML
Ideation • Code • Design
COQ Profiler
Visualize how much time COQ takes on each proof step.
Python
Code • Design
Python
Code • Design
Life Calendar Generator
Visualize your life in weeks.
Python
Code • Design
Python
Code • Design
Other
Max Planck Forest
I started this Treedom forest as a gift for the staff members.
More than fifty researchers donated.
I personally handled the communication with Treedom.
More than fifty researchers donated.
I personally handled the communication with Treedom.