倉庫

HigherOrderCO 的倉庫

2 個支援的倉庫

只顯示包含已索引 issue 的倉庫
HigherOrderCO/BendRust

A massively parallel, high-level programming language

最近提交 2025年6月3日

 (19,158 stars) (466 forks) (2 個已索引 issue) (2 個開放 good first issue)
HigherOrderCO/KindHaskell

A modern proof language

最近提交 2025年1月22日

 (3,743 stars) (149 forks) (0 個已索引 issue) (0 個開放 good first issue)