-
Bend
A massively parallel, high-level programming language
Rust ★ 19k 1y agoExplain → -
HVM2
A massively parallel, optimal functional runtime in Rust
Cuda ★ 11k 1y agoExplain → -
Kind
A modern proof language
Haskell ★ 3.8k 1y agoExplain → -
HVM3
HVM3
Haskell ★ 290 4mo agoExplain → -
HVM4
No description.
C ★ 106 22d agoExplain → -
HVM1 ⑂
A massively parallel, optimal functional runtime in Rust
Rust ★ 33 1y agoExplain → -
bench
Benchmarks for HVM and Bend
TypeScript ★ 7 3mo agoExplain → -
.github
No description.
★ 2 2y agoExplain →
No repos match these filters.