a new EU EOSC proposal

The (Jekyll generated part) of the kwarc website

resources for the TAs and instructors of the AI courses.

Auxiliary repository for Florian Rabe's homepage

archiving all the completed MSc supervision repositories after a while

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.