用于JetBrains MPS的类型检查和逻辑推理
👷 TypeScript最大的类型工具库
基于代码属性图的C/C++/Java/Binary/Javascript/Python/Kotlin的开源代码分析平台
一个描述格式和生成加载器的DSL
在用Gradle构建基于MPS的项目时，发现有一些杂七杂八的任务。
FASTEN。FormAl SpecificaTion ENvironment - 一套DSL，用于实验严格的系统和安全工程。
JetBrains社区 Discord服务器 - JetBot，其背后的Python机器人
在MPS中加入声明式、反应式和增量式规则
IETS3的开放源码部分
一个精心策划的MPS扩展/库、软件和资源的列表。
MPS的扩展旨在缓解MPS内部的语言发展。