Skip to content
@HigherOrderCO

HigherOrderCO

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

Pinned Loading

  1. HVM1 HVM1 Public

    HVM1 (2022): a massively parallel, optimal functional runtime in Rust

    Cuda 11.3k 437

  2. HVM4 HVM4 Public

    C 120 28

  3. Bend1 Bend1 Public

    Bend 1: the original massively parallel, high-level programming language (superseded by github.com/bendlang/bend)

    Rust 5 1

  4. Bend2 Bend2 Public

    Bend 2 moved to github.com/bendlang/bend

    10

Repositories

Showing 7 of 7 repositories
  • Bend2 Public

    Bend 2 moved to github.com/bendlang/bend

    HigherOrderCO/Bend2's past year of commit activity
    10 0 0 0 Updated Sep 16, 2026
  • HVM2 Public Forked from HigherOrderCO/HVM1

    HVM2 (2024): a massively parallel, optimal functional runtime in Rust

    HigherOrderCO/HVM2's past year of commit activity
    Cuda 41 Apache-2.0 449 0 0 Updated Sep 16, 2026
  • HVM1 Public

    HVM1 (2022): a massively parallel, optimal functional runtime in Rust

    HigherOrderCO/HVM1's past year of commit activity
    Cuda 11,345 MIT 437 0 0 Updated Sep 16, 2026
  • Bend1 Public

    Bend 1: the original massively parallel, high-level programming language (superseded by github.com/bendlang/bend)

    HigherOrderCO/Bend1's past year of commit activity
    Rust 5 Apache-2.0 1 0 0 Updated Sep 16, 2026
  • HVM4 Public
    HigherOrderCO/HVM4's past year of commit activity
    C 120 28 10 14 Updated May 30, 2026
  • HVM3 Public

    HVM3

    HigherOrderCO/HVM3's past year of commit activity
    Haskell 305 MIT 29 7 0 Updated Jan 29, 2026
  • Kind Public

    A modern proof language

    HigherOrderCO/Kind's past year of commit activity
    Haskell 3,761 MIT 152 3 4 Updated Jan 22, 2025

Top languages

Loading…

Most used topics

Loading…