https://github.com/jetbrains/mps-coderules

Type checking and logical inference for JetBrains MPS

code-analysis constraint-handling-rules constraint-rules control-flow jetbrains-mps type-checking

Last synced: 19 Oct 2025