we are getting to the very core of what makes computers capable of reasoning.
8
Public repositories
34,911
Total stars
2,675
Followers
HigherOrderCO is an organization focused on the fundamental aspects of computer reasoning, with a significant presence on GitHub. Their repositories showcase a variety of programming languages, including Rust, Haskell, and Cuda. Notable projects include Bend, a high-level programming language, and HVM2, an optimal functional runtime.
Top languages
Public repositories
Bend
A massively parallel, high-level programming language
HVM2
A massively parallel, optimal functional runtime in Rust
Kind
A modern proof language
HVM3
HVM3
HVM4
No description provided for this repository.
HVM1
A massively parallel, optimal functional runtime in Rust
bench
Benchmarks for HVM and Bend
.github
No description provided for this repository.
Frequently asked questions
What does HigherOrderCO build on GitHub?
HigherOrderCO builds several projects on GitHub, focusing on advanced computing and reasoning. Their notable repositories include Bend, a high-level programming language, and HVM2, which serves as an optimal functional runtime.
Which programming languages does HigherOrderCO use?
HigherOrderCO primarily uses Rust, Haskell, Cuda, C, and TypeScript for their projects. This diverse range of languages allows them to explore various aspects of computer reasoning and functionality.
Are HigherOrderCO's repositories public?
Yes, all of HigherOrderCO's repositories are public. This transparency allows others in the community to access, review, and contribute to their work in advanced computing and reasoning.
Is this exposure intended?
Monitor HigherOrderCO with RepoGuard and get alerted the moment a new public repository appears.
Monitor this account