Pinned Loading

1. cv cv Public

   Curriculum Vitae of Bastian Hagedorn

   TeX 1

2. bastianhagedorn.github.io bastianhagedorn.github.io Public

   Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

   JavaScript 1

3. elevate-lang/elevate elevate-lang/elevate Public

   The implementation of the Elevate language

   Scala 30 6