# GitHub repos by opencompl [Home](https://repo.masters-masters.com/en) › [opencompl](https://repo.masters-masters.com/en/owners/opencompl) All 2 public GitHub repos by opencompl in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by opencompl 2 public repos by opencompl in the catalog, most starred first. - [opencompl/lean-mlir · ★ 274 · Lean · Alpha](https://repo.masters-masters.com/en/repos/opencompl/lean-mlir) - [opencompl/veir · ★ 137 · Lean · Prototype](https://repo.masters-masters.com/en/repos/opencompl/veir) ## See opencompl on GitHub - [https://github.com/opencompl](https://github.com/opencompl) --- Data: GitHub