# Dépôts de inQWIRE [Accueil](https://repo.masters-masters.com/) › [inQWIRE](https://repo.masters-masters.com/owners/inQWIRE) Les 2 dépôts GitHub publics de inQWIRE, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de inQWIRE 2 dépôts publics de inQWIRE au catalogue, du plus étoilé au moins étoilé. - [inQWIRE/QWIRE · ★ 113 · Coq · Prototype](https://repo.masters-masters.com/repos/inQWIRE/QWIRE) - [inQWIRE/SQIR · ★ 107 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/inQWIRE/SQIR) ## Voir inQWIRE sur GitHub - [https://github.com/inQWIRE](https://github.com/inQWIRE) --- Données : GitHub