Skip to content
@HigherOrderCO

HigherOrderCO

we are getting to the very core of what makes computers capable of reasoning.
README.md

Welcome to Higher Order Company

We're the HOC, a tech startup with the goal of building the inevitable massively parallel future of computers. We believe the Interaction Net is a powerful model of computation that will give birth to massively parallel runtimes and processors. To pave the way forward, we built:

  • HVM: a parallel runtime

  • Bend: a parallel language

Join Us

HOC Discord

Contact

Reach us anytime at [email protected].

Pinned Loading

  1. Bend Bend Public

    A massively parallel, high-level programming language

    Rust 19.2k 469

  2. HVM2 HVM2 Public

    A massively parallel, optimal functional runtime in Rust

    Cuda 11.2k 434

Repositories

Showing 8 of 8 repositories
  • HVM4 Public
    HigherOrderCO/HVM4’s past year of commit activity
    C 77 22 9 12 Updated Mar 20, 2026
  • bench Public

    Benchmarks for HVM and Bend

    HigherOrderCO/bench’s past year of commit activity
    TypeScript 5 0 0 0 Updated Mar 18, 2026
  • HVM3 Public

    HVM3

    HigherOrderCO/HVM3’s past year of commit activity
    Haskell 281 MIT 27 7 0 Updated Jan 29, 2026
  • Bend Public

    A massively parallel, high-level programming language

    HigherOrderCO/Bend’s past year of commit activity
    Rust 19,196 Apache-2.0 469 97 (2 issues need help) 5 Updated Jun 3, 2025
  • Kind Public

    A modern proof language

    HigherOrderCO/Kind’s past year of commit activity
    Haskell 3,731 MIT 150 3 4 Updated Jan 22, 2025
  • HVM2 Public

    A massively parallel, optimal functional runtime in Rust

    HigherOrderCO/HVM2’s past year of commit activity
    Cuda 11,222 Apache-2.0 434 44 12 Updated Nov 21, 2024
  • HVM1 Public Forked from HigherOrderCO/HVM2

    A massively parallel, optimal functional runtime in Rust

    HigherOrderCO/HVM1’s past year of commit activity
    Rust 31 MIT 445 1 0 Updated Aug 7, 2024
  • .github Public
    HigherOrderCO/.github’s past year of commit activity
    2 6 0 0 Updated Jun 28, 2024

Most used topics

Loading…