JetBrains MPS开源项目点评
mbeddr.formal
FASTEN。FormAl SpecificaTion ENvironment - 一套DSL,用于实验严格的系统和安全工程。
fork
16
star
16
JetBrains MPS(Meta Programming System)是JetBrains开发的一个语言工作台。MPS是一个设计特定领域语言(DSL)的工具。 它使用投影式编辑,允许用户克服语言分析器的局限性,建立DSL编辑器,如带有表格和图表的编辑器。 它实现了面向语言的编程。MPS是一个用于语言定义的环境,一个语言工作台,以及此类语言的集成开发环境(IDE)。
FASTEN。FormAl SpecificaTion ENvironment - 一套DSL,用于实验严格的系统和安全工程。