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.4k 437

  2. HVM4 HVM4 Public

    C 125 27

  3. Bend1 Bend1 Public

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

    Rust 7 2

  4. Bend2 Bend2 Public

    Bend 2 moved to github.com/bendlang/bend

    10

Repositories

Showing 8 of 8 repositories
  • bend2-mirror Public archive

    Read-only mirror of Bend 2. The real repo: github.com/bendlang/bend

    HigherOrderCO/bend2-mirror's past year of commit activity
    TypeScript 1 Apache-2.0 0 0 0 Updated Oct 25, 2026
  • 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 45 Apache-2.0 449 1 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,353 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 7 Apache-2.0 2 0 0 Updated Sep 16, 2026
  • HVM4 Public
    HigherOrderCO/HVM4's past year of commit activity
    C 125 27 10 9 Updated May 30, 2026
  • HVM3 Public

    HVM3

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

    A modern proof language

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

Top languages

Loading…

Most used topics

Loading…