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