This framework will test the given examples for the programmieren assignement in WS 2018/19. Please feel free to expand the project by adding more test cases

Grammar and parser for a proof scripting language for performing proofs using the KeY System (www.key-project.org)

KIT-Radius der Abteilung Netze für die SSIDs KIT, Eduroam.

This is an XSLT-based conversion of the rfc index to BibTeX for (La)TeX users.

A Seismologist's Tool Shed

ansible roles for LAS computers

One web interface to rule them all!

Small scripts that help me in writing mjtests