Currently doing my Bachelors Degree at the Technical University of Munich. So far it's pretty fun...
I may be slow to respond.
Popular repositories Loading
-
goblint-sparsification
goblint-sparsification PublicForked from goblint/analyzer
tum-WS24/25-practical Sparsification of Linear Equality Domain
OCaml 1
-
-
-
-
battleship_game
battleship_game PublicA fun little implementation of the game battleship. I will try to make the input really easy, so it can be used for machine players as well!
Python
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.