Implementation of Space DSL

This repository contains the implementations – in MPS, C#, and TypeScript – of an example “Space DSL”. This DSL and its implementations are going to be demoed during the LangDev CON2025 conference — specifically during the “LionWeb’s delta protocol: incremental model changes” talk. The specific purpose is to show that and how the delta protocol works. The playbook for the demo is described in playbook.md.

The implementations in C#, MPS, and TypeScript can be found in the subdirectories cs/, mps/, ts/, respectively. Each of these subdirectories has a README.md that explains how to run that respective implementation.

The chunks/ directory contains two serialization chunks:

• space.languages.json: the serialization of the Space and Findings languages
• voyager1.instance.json: the serialization of an instance of the Space DSL

Both chunks are exported from MPS: see its respective README.md.

Docker

In order to launch the dockerized version:

Build the images executing the script:

./build.sh

Run the images with:

./start.sh

Server is available at http://localhost:40000

Clients available at:

• React https://localhost:1234
• and Daga https://localhost:1235

Stop with:

./stop.sh