I like penguins and the occasional LaTeX programming. For my current work, it is probably best to check out
- flowR a program slicer and analyzer for the R programming language, as well as
- my master's thesis: Constructing a Static Program Slicer for R Programs, and
- my portfolio website.
A (short and incomplete) list of my LaTeX packages you may find interesting:
- tikzpingus for drawing cute penguins
- fancyqr for creating nice QR codes
- xlistings as an opinionated extension of the
listings
package - beamer-themes, a collection of beamer themes I used over the years
- uulm-cs-poster, an inofficial poster template for the SP institute at Ulm University
- latex-lambda-calculus-visualizer for nice and funky visualizations of lambda calculus terms
- code-animation for animating code listings in beamer
- TeXCHR, latex-underline, tikzdoggos, color-palettes, ltihie-util, ...
Public Presentations
- slides for my master's thesis with the interim presentation (en):
- slides on my seminar presentations trusting trust and gnu-parallel (en):
- slides on my latex introduction (de):
- slides on my eidi rep (de) and eidi recap (de):
- small episodes on recursion, heaps, traversals, and in-place merge sort (de):
- slides on my seminars in "introduction to computer science"(ws2021/22 and ss22, de):
Public Documents
-
General
skywrath rulebook (wip, de) TikZ image collection (en) -
University
asq elaboration (en) latex introduction (de) eidi christmas sheet 2019 (de)