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