Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
CUP Eclipse Plugin
-
Teleteaching standalone client in Java.
-
-
This is an Emscripten based C++ Player for .ttt files. It compiles to HTML5/JavaScript directly.
-
Demo Project for an Eclipse Plugin
-
-
-
-
-
CUP Eclipse Plugin
-
This is our template for theses - clone and modify, as your heart desires!
-
-
-
'Functional Programming and Verification' homework https://www.in.tum.de/i02/lehre/wintersemester-1819/vorlesungen/functional-programming-and-verification/
-
-
Visualization of Abstract Machines in Java
-