Game dev, model checking, languages |
MSc in Computer Science
- Denmark
- @NicEastvillage
Pinned Loading
-
-
ds306e18/cleopetra
ds306e18/cleopetra PublicTournament system tailored to the RLBot framework
-
d702e20/CGAAL
d702e20/CGAAL PublicAn on-the-fly, multi-threaded ATL model checker on concurrent game structures
-
-
ChessHeavenAndHell
ChessHeavenAndHell PublicA sandbox for when traditional chess is not epic enough
Go 2
-
d409f19/cellmata
d409f19/cellmata Publicprogramming language for effectively writing cellular automata
Kotlin 5
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.