Skip to content
@HigherOrderCO

HigherOrderCO

Building the massively parallel future of computers
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 17.8k 437

  2. HVM HVM Public

    A massively parallel, optimal functional runtime in Rust

    Cuda 10.6k 409

  3. Kind Kind Public

    A modern proof language

    Haskell 3.6k 142

Repositories

Showing 10 of 24 repositories
  • HVM3 Public

    HVM3

    HigherOrderCO/HVM3’s past year of commit activity
    Haskell 103 MIT 6 5 2 Updated Dec 12, 2024
  • Kind Public

    A modern proof language

    HigherOrderCO/Kind’s past year of commit activity
    Haskell 3,594 MIT 142 3 3 Updated Dec 9, 2024
  • enumerator Public
    HigherOrderCO/enumerator’s past year of commit activity
    5 0 0 0 Updated Dec 2, 2024
  • kindbook Public
    HigherOrderCO/kindbook’s past year of commit activity
    C 36 0 0 0 Updated Nov 29, 2024
  • HVM Public

    A massively parallel, optimal functional runtime in Rust

    HigherOrderCO/HVM’s past year of commit activity
    Cuda 10,568 Apache-2.0 409 41 10 Updated Nov 21, 2024
  • Bend Public

    A massively parallel, high-level programming language

    HigherOrderCO/Bend’s past year of commit activity
    Rust 17,795 Apache-2.0 437 93 (2 issues need help) 5 Updated Oct 29, 2024
  • bend-language-server Public

    Language server for the Bend programming language

    HigherOrderCO/bend-language-server’s past year of commit activity
    Rust 11 MIT 3 3 0 Updated Oct 18, 2024
  • tree-sitter-bend Public

    Bend grammar for tree-sitter.

    HigherOrderCO/tree-sitter-bend’s past year of commit activity
    JavaScript 5 0 0 0 Updated Oct 18, 2024
  • agda-cli Public Forked from VictorTaelin/agda-cli

    Check agda commands from your terminal

    HigherOrderCO/agda-cli’s past year of commit activity
    JavaScript 2 3 0 0 Updated Oct 7, 2024
  • kind2-archive Public

    Temporary repository for Kind2's refactor based on HVM2

    HigherOrderCO/kind2-archive’s past year of commit activity
    Rust 285 28 2 3 Updated Sep 25, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…