JetBrains MPS GitHub repos

4 JetBrains MPS repos in the catalog, most starred first.