# Dépôts de opencompl [Accueil](https://repo.masters-masters.com/) › [opencompl](https://repo.masters-masters.com/owners/opencompl) Les 2 dépôts GitHub publics de opencompl, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de opencompl 2 dépôts publics de opencompl au catalogue, du plus étoilé au moins étoilé. - [opencompl/lean-mlir · ★ 273 · Lean · Alpha](https://repo.masters-masters.com/repos/opencompl/lean-mlir) - [opencompl/veir · ★ 134 · Lean · Prototype](https://repo.masters-masters.com/repos/opencompl/veir) ## Voir opencompl sur GitHub - [https://github.com/opencompl](https://github.com/opencompl) --- Données : GitHub