-
Chair of Technical Information Systems, Friedrich-Alexander-Universität Erlangen-Nürnberg
- https://solid.dschraudner.de/profile/card#me
Highlights
- Pro
Popular repositories Loading
-
LAMA
LAMA PublicForked from hbasold/LAMA
Intermediate language for verification of SCADE programs (including translation)
Haskell
-
scoutnet-kalender
scoutnet-kalender PublicForked from wp-plugins/scoutnet-kalender
WordPress.org Plugin Mirror
PHP
-
Kalah-WS1617
Kalah-WS1617 PublicForked from KWARC/Kalah-Framework
Kalah framework for the AI course at FAU WS16/17
HTML
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.