リポジトリ

HigherOrderCO のリポジトリ

2 件の対応リポジトリ

索引済み issue があるリポジトリを表示
HigherOrderCO/BendRust

A massively parallel, high-level programming language

最終コミット 2025/06/03

 (19,158 stars) (466 forks) (2 件の索引済み issue) (2 件のオープンな good first issue)
HigherOrderCO/KindHaskell

A modern proof language

最終コミット 2025/01/22

 (3,743 stars) (149 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)