HigherOrderCO の追跡中のオープンソースリポジトリを、スター数順に表示します。
大規模並列処理に対応した高水準プログラミング言語。
Rustにおける大規模並列・最適な関数型ランタイム
モダンな証明言語