Open Source Project Hot List Issue 119
Kind2 是一种函数式编程语言和证明助手。它基于 HVM,一个懒惰的、非垃圾回收的、大规模并行的虚拟机。在作者的基准测试中,它的类型检查器超过了所有其他的证明助手,而且它的程序可以提供比 Haskell 的 GHC 更高的指数级速度。Kind2 释放了 Lambda Calculus 固有的并行性。
你好!勤快的作者和贡献者们!辛苦了,感谢你们的辛勤付出。
注:数据来源于 GitHub。数据生成于【2022/12/18 2:00pm】,是一个与一周前的数据进行比较的版本。
文章同期在公号“Worldlink资源网”发布,欢迎关注。
Like: