# GitHub repos by philzook58 [Home](https://repo.masters-masters.com/en) › [philzook58](https://repo.masters-masters.com/en/owners/philzook58) All 3 public GitHub repos by philzook58 in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by philzook58 3 public repos by philzook58 in the catalog, most starred first. - [philzook58/awesome-egraphs · ★ 377 · Alpha](https://repo.masters-masters.com/en/repos/philzook58/awesome-egraphs) - [philzook58/knuckledragger · ★ 180 · Python · Prototype](https://repo.masters-masters.com/en/repos/philzook58/knuckledragger) - [philzook58/z3\_tutorial · ★ 171 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/philzook58/z3_tutorial) ## See philzook58 on GitHub - [https://github.com/philzook58](https://github.com/philzook58) --- Data: GitHub