Owner

HigherOrderCO

5 indexed repositories · View on GitHub

Bend
A massively parallel, high-level programming language

Rust · 19834 stars
HVM2
A massively parallel, optimal functional runtime in Rust

Cuda · 11343 stars
Kind
A modern proof language

Haskell · 3765 stars
HVM3
HVM3

Haskell · 303 stars
HVM4

C · 121 stars

Open All

Syntax in the explanation Open

HigherOrderCO/Kind#585 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Equivalence on UnordPair Open

HigherOrderCO/Kind#586 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Allow @ Instead of Unicodes Lambda (λ) and For All (∀) Open

HigherOrderCO/Kind#604 · 0 comments · 0 reactions · 2 assignees · Indexed Sep 17, 2026
Bend to HVML Open

HigherOrderCO/HVM3#1 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
WebGPU Open

HigherOrderCO/HVM3#2 · 0 comments · 2 reactions · 0 assignees · Indexed Sep 17, 2026
Feature request: function name / line number for invalid operation Open

HigherOrderCO/HVM3#9 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Scale lang (basically) a superset of cuda for amd gpus Open

HigherOrderCO/HVM3#23 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Output changed to a bit stranger ! a = 3\na from just 3 Open

HigherOrderCO/HVM3#24 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Compilation bug on matches without all the constructor fields Open

HigherOrderCO/HVM3#53 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Improve / Simplify HVM3's Collapser Open

HigherOrderCO/HVM3#54 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
clang is a really unfortunate name collision Open

HigherOrderCO/HVM4#10 · 0 comments · 3 reactions · 0 assignees · Indexed Sep 17, 2026
Bug: recursive dups cause race conditions Open

HigherOrderCO/HVM4#21 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
WNF in Metal Open

HigherOrderCO/HVM4#30 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Initial set of primitives Open

HigherOrderCO/HVM4#31 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 17, 2026
WNF in CUDA Open

HigherOrderCO/HVM4#33 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
JIT Compiler Open

HigherOrderCO/HVM4#34 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
CNF does not lift INC through non-lambda nodes Open

HigherOrderCO/HVM4#37 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Cross-platform embedding of HVM4 Open

HigherOrderCO/HVM4#54 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
better divergence analysis Open

HigherOrderCO/HVM4#56 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
wnf_at is not thread-safe on shared cells Open

HigherOrderCO/HVM4#57 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026

HigherOrderCO

Get new issues in your inbox