Explore projects

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

JavaScript client for Sally

The main development repository

Demo of the Grammatical Logical Framework for a paper submitted to lfmtp 2019.

user interface to present error output

archiving all the completed MSc supervision repositories after a while