Master Projects

Bachelor Projects

  • Spoofax Shell: Create an interactive shell for the Spoofax Language Workbench that can be used with all languages defined in Spoofax.

  • Safe and Stateful Native Code Execution: To support a wider range of language in the WebLab programming education system, it is necessary to safely execute native code on the server. Furthermore, in order to support interactive sessions, such executions should maintain a stateful connection with a client.

Context Projects

  • Spoofax LSP: Adapt Spoofax (Core) so that it supports the Language Service Protocol.
Created May 10, 2017 | Last modified May 11, 2017 | Contributions by Eelco Visser, Robbert Krebbers