# GitHub repos by HigherOrderCO-archive [Home](https://repo.masters-masters.com/en) › [HigherOrderCO-archive](https://repo.masters-masters.com/en/owners/HigherOrderCO-archive) All 2 public GitHub repos by HigherOrderCO-archive in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by HigherOrderCO-archive 2 public repos by HigherOrderCO-archive in the catalog, most starred first. - [HigherOrderCO-archive/hvm-64 · ★ 496 · Rust · Alpha](https://repo.masters-masters.com/en/repos/HigherOrderCO-archive/hvm-64) - [HigherOrderCO-archive/kind2-archive · ★ 278 · Rust · Alpha](https://repo.masters-masters.com/en/repos/HigherOrderCO-archive/kind2-archive) ## See HigherOrderCO-archive on GitHub - [https://github.com/HigherOrderCO-archive](https://github.com/HigherOrderCO-archive) --- Data: GitHub