JetBrains MPS（Meta Programming System）是JetBra...
C语言是由贝尔实验室的丹尼斯-里奇设计的一种编程语言。C语言使用非常广泛，简单明了，可以编...
mbeddr核心。一个可扩展的C
MPS的扩展旨在缓解MPS内部的语言发展。
IETS3的开放源码部分
用于JetBrains MPS的类型检查和逻辑推理
在MPS中加入声明式、反应式和增量式规则
FASTEN。FormAl SpecificaTion ENvironment - 一套DSL，用于实验严格的系统和安全工程。