# GitHub repos by OpenLogicProject [Home](https://repo.masters-masters.com/en) › [OpenLogicProject](https://repo.masters-masters.com/en/owners/OpenLogicProject) The public GitHub repo by OpenLogicProject in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by OpenLogicProject 1 public repo by OpenLogicProject in the catalog, most starred first. - [OpenLogicProject/OpenLogic · ★ 1,392 · TeX · Beta](https://repo.masters-masters.com/en/repos/OpenLogicProject/OpenLogic) ## See OpenLogicProject on GitHub - [https://github.com/OpenLogicProject](https://github.com/OpenLogicProject) --- Data: GitHub