# GitHub repos by Z3Prover [Home](https://repo.masters-masters.com/en) › [Z3Prover](https://repo.masters-masters.com/en/owners/Z3Prover) All 2 public GitHub repos by Z3Prover in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by Z3Prover 2 public repos by Z3Prover in the catalog, most starred first. - [Z3Prover/z3 · ★ 12,874 · C++ · Stable](https://repo.masters-masters.com/en/repos/Z3Prover/z3) - [Z3Prover/FirewallChecker · ★ 112 · C\# · Prototype](https://repo.masters-masters.com/en/repos/Z3Prover/FirewallChecker) ## See Z3Prover on GitHub - [https://github.com/Z3Prover](https://github.com/Z3Prover) --- Data: GitHub