Propriétaire · HigherOrderCO

HigherOrderCO

Dépôts open source suivis de HigherOrderCO, triés par étoiles.

3 dépôts

#1
Bend ↗@HigherOrderCORust
Un langage de programmation de haut niveau massivement parallèle.
★ 19 812+5Évolution des étoiles sur les 7 derniers jours
#2
HVM2 ↗@HigherOrderCOCuda
Un runtime fonctionnel optimal et massivement parallèle écrit en Rust.
★ 11 341+1Évolution des étoiles sur les 7 derniers jours
#3
Kind ↗@HigherOrderCOHaskell
Un langage de preuve moderne.
★ 3 763-1Évolution des étoiles sur les 7 derniers jours