https://github.com/flopp/flopp
https://github.com/flopp/flopp
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/flopp/flopp
- Owner: flopp
- Created: 2020-07-24T19:31:09.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2025-05-22T15:46:39.000Z (about 1 year ago)
- Last Synced: 2025-10-04T17:56:57.284Z (8 months ago)
- Size: 9.77 KB
- Stars: 0
- Watchers: 1
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
### Hi there, I'm Florian from [Freiburg](https://en.wikipedia.org/wiki/Freiburg_im_Breisgau) 🇩🇪
I'm working as a senior software engineer on formal verification tools at [Siemens EDA](https://eda.sw.siemens.com/).
Some of my (hobby) projects:
- [flopp.net](https://flopp.net), a mapping SPA specifically targeting the needs of geocachers
- [freiburg.run](https://freiburg.run), a website listing all the running events of my region (Freiburg, Germany)
- [socialrunclubs.de](https://socialrunclubs.de), all 'Social Run Clubs' in Germany
- [Invisible Characters](https://invisible-characters.com/), a website about invisible unicode characters