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