仓库

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)