Repositories

HigherOrderCO repositories

2 supported repositories

Show repositories with indexed issues
HigherOrderCO/BendRust

A massively parallel, high-level programming language

Last commit Jun 3, 2025

 (19,158 stars) (466 forks) (2 indexed issues) (2 open good first issues)
HigherOrderCO/KindHaskell

A modern proof language

Last commit Jan 22, 2025

 (3,743 stars) (149 forks) (0 indexed issues) (0 open good first issues)