Explore projects

The (Jekyll generated part) of the kwarc website

We archive KI-Projekts of the KWARC group here.

Auxiliary repository for Florian Rabe's homepage

Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.

archiving all the completed MSc supervision repositories after a while

we archive completed B.Sc supervision repositories here after a while

Preparation for a Special Interest Group for Maths Linguistics (SIGMathLing)

Bachelor Thesis Denis Rochau Includes Proposal, Thesis and Presentation

O Week Stuff from Tyler

The MMT blue notes