GitHub repository: JetBrains/mps-coderules
Primary language: JetBrains MPS
Description: Type checking and logical inference for JetBrains MPS