爱好者的编程语言 语言，环境和围绕它们的工具的目录。 如果我在这里缺少一些很棒的独立项目，请随时发送PR。 语言能力 Bolt是一种内置数据竞赛自由的语言！ Soufflé是Datalog的变体，用于工具设计人员在Horn子句中进行分析。 Soufflé根据逻辑规范合成了本地并行C ++程序。 Mascarpone是Emmental风格的一种自我修改的编程语言。 Dafny是一种带有程序验证程序的编程语言。 当您键入程序时，验证程序会不断抬头并标记任何错误。 Irken是一种强类型的编译语言，