# GitHub repos by GaloisInc [Home](https://repo.masters-masters.com/en) › [GaloisInc](https://repo.masters-masters.com/en/owners/GaloisInc) All 15 public GitHub repos by GaloisInc in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by GaloisInc 15 public repos by GaloisInc in the catalog, most starred first. - [GaloisInc/cryptol · ★ 1,227 · Haskell · Beta](https://repo.masters-masters.com/en/repos/GaloisInc/cryptol) - [GaloisInc/HaLVM · ★ 1,069 · Haskell · Beta](https://repo.masters-masters.com/en/repos/GaloisInc/HaLVM) - [GaloisInc/crucible · ★ 781 · Haskell · Beta](https://repo.masters-masters.com/en/repos/GaloisInc/crucible) - [GaloisInc/saw-script · ★ 525 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/saw-script) - [GaloisInc/ivory · ★ 417 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/ivory) - [GaloisInc/swanky · ★ 366 · Sieve · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/swanky) - [GaloisInc/reopt · ★ 344 · LLVM · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/reopt) - [GaloisInc/haskell-tor · ★ 275 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/haskell-tor) - [GaloisInc/macaw · ★ 258 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/GaloisInc/macaw) - [GaloisInc/MATE · ★ 199 · Python · Prototype](https://repo.masters-masters.com/en/repos/GaloisInc/MATE) - [GaloisInc/what4 · ★ 181 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/GaloisInc/what4) - [GaloisInc/cclyzerpp · ★ 153 · C++ · Prototype](https://repo.masters-masters.com/en/repos/GaloisInc/cclyzerpp) - [GaloisInc/grease · ★ 134 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/GaloisInc/grease) - [GaloisInc/dlkoopman · ★ 121 · Python · Prototype](https://repo.masters-masters.com/en/repos/GaloisInc/dlkoopman) - [GaloisInc/HaNS · ★ 117 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/GaloisInc/HaNS) ## See GaloisInc on GitHub - [https://github.com/GaloisInc](https://github.com/GaloisInc) --- Data: GitHub