Dépôts

Dépôts de HigherOrderCO

2 dépôts pris en charge

Afficher les dépôts avec des issues indexées
HigherOrderCO/BendRust

A massively parallel, high-level programming language

Dernier commit 3 juin 2025

 (19 158 stars) (466 forks) (2 issues indexées) (2 good first issues ouvertes)
HigherOrderCO/KindHaskell

A modern proof language

Dernier commit 22 janv. 2025

 (3 743 stars) (149 forks) (0 issues indexées) (0 good first issues ouvertes)