Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
las-it-organisation / 32-0-IT instructions and rules / ansible
ansible roles for LAS computers
0updated -
scc-net / debian-packages / bird2
debian packaging for bird2
-
0updated
-
0updated
-
0updated
-
IPDSnelting / mjtest
A test runner and test cases for MiniJava compilers
2updated -
IPDSnelting / mjtest-tests
tests/ folder for MJTest
3updated -
sarah.grebing / ProofScriptParser
Grammar and parser for a proof scripting language for performing proofs using the KeY System (www.key-project.org)