# Dépôts de GaloisInc [Accueil](https://repo.masters-masters.com/) › [GaloisInc](https://repo.masters-masters.com/owners/GaloisInc) Les 15 dépôts GitHub publics de GaloisInc, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de GaloisInc 15 dépôts publics de GaloisInc au catalogue, du plus étoilé au moins étoilé. - [GaloisInc/cryptol · ★ 1 227 · Haskell · Bêta](https://repo.masters-masters.com/repos/GaloisInc/cryptol) - [GaloisInc/HaLVM · ★ 1 069 · Haskell · Bêta](https://repo.masters-masters.com/repos/GaloisInc/HaLVM) - [GaloisInc/crucible · ★ 781 · Haskell · Bêta](https://repo.masters-masters.com/repos/GaloisInc/crucible) - [GaloisInc/saw-script · ★ 525 · Haskell · Alpha](https://repo.masters-masters.com/repos/GaloisInc/saw-script) - [GaloisInc/ivory · ★ 417 · Haskell · Alpha](https://repo.masters-masters.com/repos/GaloisInc/ivory) - [GaloisInc/swanky · ★ 366 · Sieve · Alpha](https://repo.masters-masters.com/repos/GaloisInc/swanky) - [GaloisInc/reopt · ★ 344 · LLVM · Alpha](https://repo.masters-masters.com/repos/GaloisInc/reopt) - [GaloisInc/haskell-tor · ★ 275 · Haskell · Alpha](https://repo.masters-masters.com/repos/GaloisInc/haskell-tor) - [GaloisInc/macaw · ★ 258 · Haskell · Alpha](https://repo.masters-masters.com/repos/GaloisInc/macaw) - [GaloisInc/MATE · ★ 199 · Python · Prototype](https://repo.masters-masters.com/repos/GaloisInc/MATE) - [GaloisInc/what4 · ★ 181 · Haskell · Prototype](https://repo.masters-masters.com/repos/GaloisInc/what4) - [GaloisInc/cclyzerpp · ★ 153 · C++ · Prototype](https://repo.masters-masters.com/repos/GaloisInc/cclyzerpp) - [GaloisInc/grease · ★ 134 · Haskell · Prototype](https://repo.masters-masters.com/repos/GaloisInc/grease) - [GaloisInc/dlkoopman · ★ 121 · Python · Prototype](https://repo.masters-masters.com/repos/GaloisInc/dlkoopman) - [GaloisInc/HaNS · ★ 117 · Haskell · Prototype](https://repo.masters-masters.com/repos/GaloisInc/HaNS) ## Voir GaloisInc sur GitHub - [https://github.com/GaloisInc](https://github.com/GaloisInc) --- Données : GitHub