Hi there, I'm Florian from Freiburg 🇩🇪
I'm working as a senior software engineer on formal verification tools at Siemens 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