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