Repositórios

Repositórios de HigherOrderCO

2 repositórios suportados

Mostrar repositórios com issues indexadas
HigherOrderCO/BendRust

A massively parallel, high-level programming language

Último commit 3 de jun. de 2025

 (19.158 stars) (466 forks) (2 issues indexadas) (2 good first issues abertas)
HigherOrderCO/KindHaskell

A modern proof language

Último commit 22 de jan. de 2025

 (3.743 stars) (149 forks) (0 issues indexadas) (0 good first issues abertas)