Pinned Loading

1. lecture-notes lecture-notes Public

   Various Lecture Notes I have made over the years, mostly written in LaTeX for exam preparation. Some are in German, some are in English.

   TeX

2. sebwalk/reti-emulator sebwalk/reti-emulator Public

   Python 1 2

3. alectrian-geometry alectrian-geometry Public

   Tarski's Axioms for Euclidean Plane Geometry, formalized in Agda.

4. project-euler project-euler Public

   My solutions to problems from projecteuler.net.

   Python

5. collatz-trees collatz-trees Public

   A python script that generates pretty looking collatz trees using graphviz.

   Python

6. yoneda-talk yoneda-talk Public

   Material for my talk on the paper "What you needa know about Yoneda", which I held at the University of Freiburg for the Functional Programming and Logic Seminar SS25.

   TeX