An example Xtext DSL in Theia with Sprotty visualisation - View it on GitHub