所有者 · HigherOrderCO

HigherOrderCO

HigherOrderCO 收录中的开源项目，按星标数排序。

共 3 个项目

#1
Bend ↗@HigherOrderCORust
一种大规模并行的高级程序语言
★ 19,812+0近 7 天星标变化
#2
HVM2 ↗@HigherOrderCOCuda
用 Rust 实现的大规模并行、优化函数运行时
★ 11,341+0近 7 天星标变化
#3
Kind ↗@HigherOrderCOHaskell
一种现代证明语言
★ 3,763+0近 7 天星标变化

← 返回所有者排行