GeezerVison

GeezerVison is showing github.com — HigherOrderCO

Pinned Loading

HVM1 HVM1 Public

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

Cuda 11.4k 437
HVM4 HVM4 Public

C 129 29
Bend1 Bend1 Public

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

Rust 8 2
Bend2 Bend2 Public

Bend 2 moved to github.com/bendlang/bend

10

Type

All Public Sources Forks Archived Mirrors Templates

Language

All C Cuda Haskell Rust TypeScript

Sort

Last updated Name Stars

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,364 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 8 Apache-2.0 2 0 0 Updated Sep 16, 2026
HVM4 Public

HigherOrderCO/HVM4's past year of commit activity

C 129 29 10 9 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,764 MIT 152 3 4 Updated Jan 22, 2025

Loading…

There was an error while loading. Please reload this page.