Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Teleteaching standalone client in Java.
-
CUP Eclipse Plugin
-
Script to set up Thinkvision M14t
-
-
Visualization of Abstract Machines in Java
-
This is an Emscripten based C++ Player for .ttt files. It compiles to HTML5/JavaScript directly.
-
-
-
-
-
CUP Parser Library in pure Java
-
Construction of Useful Parsers
-
-
This is an Emscripten based C++ Player for .ttt files. It compiles to HTML5/JavaScript directly.
-
-
'Functional Programming and Verification' homework https://www.in.tum.de/i02/lehre/wintersemester-1819/vorlesungen/functional-programming-and-verification/
-
-
CUP Eclipse Plugin