HigherOrderCO의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
대규모 병렬 처리 지원 고수준 프로그래밍 언어
Rust로 구현된 대규모 병렬 최적 함수형 런타임
모던 증명 언어
