已更新 9 h ago
we are getting to the very core of what makes computers capable of reasoning.
8
公共仓库
34,911
总星标
2,675
关注者
HigherOrderCO在GitHub上拥有多个公共代码库，专注于计算机推理的核心问题。该组织的主要编程语言包括Rust、Haskell、Cuda、C和TypeScript。其知名项目如Bend和HVM系列展示了其在高并发编程语言和功能性运行时方面的深入研究。
顶级语言
Rust 2Haskell 2Cuda 1C 1TypeScript 1
公共仓库
Bend
★19,448
A massively parallel, high-level programming language
Rust
已更新 2026年6月13日HVM2
★11,275
A massively parallel, optimal functional runtime in Rust
Cuda
已更新 2026年6月13日Kind
★3,753
A modern proof language
Haskell
已更新 2026年6月12日HVM3
★289
HVM3
Haskell
已更新 2026年6月11日HVM4
★104
此仓库未提供描述。
C
已更新 2026年6月13日HVM1
★33
A massively parallel, optimal functional runtime in Rust
Rust
已更新 2026年6月10日bench
★7
Benchmarks for HVM and Bend
TypeScript
已更新 2026年6月10日.github
★2
此仓库未提供描述。
未知语言
已更新 2026年3月3日常见问题
HigherOrderCO在GitHub上构建了什么？
HigherOrderCO在GitHub上开发了一系列公共项目，主要集中在推理计算领域。其著名的代码库包括Bend和HVM，涵盖了高并发和功能性编程语言的实现。
HigherOrderCO使用哪些编程语言？
HigherOrderCO主要使用Rust、Haskell、Cuda、C和TypeScript等编程语言。这些语言支持其在高并发和功能性编程方面的项目开发。
HigherOrderCO的代码库是公开的吗？
是的，HigherOrderCO的所有代码库都是公开的，任何人都可以访问和查看其项目。这为社区提供了学习和参与的机会。