Fiddling with JetBrains MPS

Navid Roux
Last updated on Nov 21, 2020

JetBrains MPS is a language workbench tool. In my sparetime, I am interested in what can and what cannot be done with it. Can we create formal systems (like MMT) with it? Can we export from them to JetBrains MPS?

research formal-systems research-in-software-engineering
Navid Roux
Navid Roux
Computer Science M. Sc. Student

Academically interested in formal systems for knowledge representation; recreationally in love with sports.

Related