# Dépôts de HigherOrderCO-archive [Accueil](https://repo.masters-masters.com/) › [HigherOrderCO-archive](https://repo.masters-masters.com/owners/HigherOrderCO-archive) Les 2 dépôts GitHub publics de HigherOrderCO-archive, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de HigherOrderCO-archive 2 dépôts publics de HigherOrderCO-archive au catalogue, du plus étoilé au moins étoilé. - [HigherOrderCO-archive/hvm-64 · ★ 496 · Rust · Alpha](https://repo.masters-masters.com/repos/HigherOrderCO-archive/hvm-64) - [HigherOrderCO-archive/kind2-archive · ★ 278 · Rust · Alpha](https://repo.masters-masters.com/repos/HigherOrderCO-archive/kind2-archive) ## Voir HigherOrderCO-archive sur GitHub - [https://github.com/HigherOrderCO-archive](https://github.com/HigherOrderCO-archive) --- Données : GitHub