HigherOrderCO ORG

@HigherOrderCO ·higherorderco.com

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

8 repos
2.7k followers
0 following

Haskell 33%
Rust 17%
Cuda 17%
C 17%
TypeScript 17%

All public repos (8)

Show forks Show archived

Bend

A massively parallel, high-level programming language

A programming language that automatically runs your code in parallel across thousands of processors and GPUs without you managing threads or locks.

Rust ★ 19k 1y ago
Explain →
HVM2

A massively parallel, optimal functional runtime in Rust

A low-level runtime that runs programs on GPUs by distributing computation across thousands of processors simultaneously using interaction combinators, designed as a compile target for high-level languages, not written by hand.

Cuda ★ 11k 1y ago
Explain →
Kind

A modern proof language

Haskell ★ 3.8k 1y ago
Explain →
HVM3

HVM3

Haskell ★ 290 4mo ago
Explain →
HVM4

No description.

C ★ 106 22d ago
Explain →
HVM1 ⑂

A massively parallel, optimal functional runtime in Rust

Rust ★ 33 1y ago
Explain →
bench

Benchmarks for HVM and Bend

TypeScript ★ 7 3mo ago
Explain →
.github

No description.

★ 2 2y ago
Explain →