Owner · HigherOrderCO

HigherOrderCO

HigherOrderCO's tracked open-source repos, sorted by stars.

3 repos

#1
Bend ↗@HigherOrderCORust
A massively parallel, high-level programming language
★ 19,812+5Star change over the last 7 days
#2
HVM2 ↗@HigherOrderCOCuda
A massively parallel, optimal functional runtime in Rust
★ 11,341+1Star change over the last 7 days
#3
Kind ↗@HigherOrderCOHaskell
A modern proof language
★ 3,763-1Star change over the last 7 days