Computer Science MSc student at ETH Zürich
- Zürich
Popular repositories Loading
-
bEquality
bEquality PublicForked from EriCreator/bEquality
Hackathon BIOTS 2018 for gender equality
HTML
-
-
-
gobra
gobra PublicForked from viperproject/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Scala
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.