I'm working as a senior software engineer on formal verification tools atSiemens EDA.

Some of my (hobby) projects:

• flopp.net, a mapping SPA specifically targeting the needs of geocachers
• freiburg.run, a website listing all the running events of my region (Freiburg, Germany)
• Unicode Explorer, an online unicode table

PinnedLoading

1. go-staticmapsgo-staticmapsPublic

   A go (golang) library and command line tool to render static map images using OpenStreetMap tiles.

   Go 351 71

2. GpxTrackPosterGpxTrackPosterPublic

   Create a visually appealing poster from your GPX tracks

   Python 447 51

3. py-staticmapspy-staticmapsPublic

   A python module to create static map images with markers, geodesic lines, etc.

   Python 149 20

4. mapmapPublic

   TypeScript 8 2

5. freiburg-runfreiburg-runPublic

   A static website listing local running events in the Freiburg region.

   Go

6. parkrun-milestonesparkrun-milestonesPublic

   Determine milestone candidates for a parkrun event

   Go 5 4