Repository

Repository di HigherOrderCO

2 repository supportati

Mostra repository con issue indicizzate
HigherOrderCO/BendRust

A massively parallel, high-level programming language

Ultimo commit 3 giu 2025

 (19.158 star) (466 fork) (2 issue indicizzate) (2 good first issue aperte)
HigherOrderCO/KindHaskell

A modern proof language

Ultimo commit 22 gen 2025

 (3743 star) (149 fork) (0 issue indicizzate) (0 good first issue aperte)