GitHub repos by GaloisInc
15 public repos by GaloisInc in the catalog, most starred first.
- GaloisInc/cryptolStars: 1,227HaskellBeta
- GaloisInc/HaLVMStars: 1,069HaskellBeta
- GaloisInc/crucibleStars: 781HaskellBeta
- GaloisInc/saw-scriptStars: 525HaskellAlpha
- GaloisInc/ivoryStars: 417HaskellAlpha
- GaloisInc/swankyStars: 366SieveAlpha
- GaloisInc/reoptStars: 344LLVMAlpha
- GaloisInc/haskell-torStars: 275HaskellAlpha
- GaloisInc/macawStars: 258HaskellAlpha
- GaloisInc/MATEStars: 199PythonPrototype
- GaloisInc/what4Stars: 181HaskellPrototype
- GaloisInc/cclyzerppStars: 153C++Prototype
- GaloisInc/greaseStars: 134HaskellPrototype
- GaloisInc/dlkoopmanStars: 121PythonPrototype
- GaloisInc/HaNSStars: 117HaskellPrototype