Pinned Loading

1. emmas-atlas emmas-atlas Public

   My full notes on math (very WIP :3)

   TeX

2. 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

3. hensel-talk hensel-talk Public

   Notes for a seminar talk I held about p-adic Numbers and Hensel's Lemma.

   TeX

4. collatz-trees collatz-trees Public

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

   Python

5. sebwalk/reti-emulator sebwalk/reti-emulator Public

   Python 1 2

6. lecture-notes lecture-notes Public

   Lecture notes I've been assembling over the years, written in LaTeX. Some are in German, some are in English.

   TeX