AlphaUncommon
GaloisInc/saw-script
The Software Analysis Workbench
- Owner
- GaloisInc (organization)
- Stars
- Stars: 525
- Forks
- Forks: 85
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2015
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by GaloisInc
All 15 repos by GaloisInc- GaloisInc/cryptolStars: 1,227HaskellBeta
- GaloisInc/HaLVMStars: 1,069HaskellBeta
- GaloisInc/crucibleStars: 781HaskellBeta
- GaloisInc/ivoryStars: 417HaskellAlpha
- GaloisInc/swankyStars: 366SieveAlpha
- GaloisInc/reoptStars: 344LLVMAlpha
Nearby in Haskell
All Haskell repos- exercism/haskellStars: 531HaskellAlpha
- haskell/attoparsecStars: 530HaskellAlpha
- haskell/criterionStars: 526HaskellAlpha
- alexwl/haskell-code-explorerStars: 517HaskellAlpha
- fptudelft/FP101x-Content-2015Stars: 514HaskellAlpha
- anoma/juvixStars: 508HaskellAlpha