Repositories

HigherOrderCO Repositories

2 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
HigherOrderCO/BendRust

A massively parallel, high-level programming language

Letzter Commit 3. Juni 2025

 (19.158 Stars) (466 Forks) (2 indexierte Issues) (2 offene good first issues)
HigherOrderCO/KindHaskell

A modern proof language

Letzter Commit 22. Jan. 2025

 (3.743 Stars) (149 Forks) (0 indexierte Issues) (0 offene good first issues)