# GitHub repos by inQWIRE [Home](https://repo.masters-masters.com/en) › [inQWIRE](https://repo.masters-masters.com/en/owners/inQWIRE) All 2 public GitHub repos by inQWIRE in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by inQWIRE 2 public repos by inQWIRE in the catalog, most starred first. - [inQWIRE/QWIRE · ★ 113 · Coq · Prototype](https://repo.masters-masters.com/en/repos/inQWIRE/QWIRE) - [inQWIRE/SQIR · ★ 107 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/inQWIRE/SQIR) ## See inQWIRE on GitHub - [https://github.com/inQWIRE](https://github.com/inQWIRE) --- Data: GitHub