The (Jekyll generated part) of the kwarc website

resources for the TAs and instructors of the AI courses.

archiving all the completed MSc supervision repositories after a while

Auxiliary repository for Florian Rabe's homepage

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

The MMT blue notes

The (Jekyll generated part) of the kwarc website

We try to enrich SMGloM with syntactic information that will allow us to parse with GF.

This is the frontend repository where issues and wikis regarding the Sally4 project are hosted.

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