Hey there! I am Anton Lorenzen, currently a student at the University of Bonn. I am mostly interested in type theory and functional programming (and some other stuff, see my contacts page).
I sometimes write tutorials. Please tell me if you don’t understand something; I’ll try to make them better:
General stuff, mostly showcases:
Code that is easy enough to understand to not merit a tutorial and is too short for Github:
- Putting operators between numbers
- Successive shortest paths in C++
- Push-relabel in C++
- Kruskals algorithm in C++
Some ideas for projects I might start (but probably won’t have the time to do):