PrototypeCommon
GaloisInc/what4
Symbolic formula representation and solver interaction library
- Owner
- GaloisInc (organization)
- Stars
- Stars: 181
- Forks
- Forks: 17
- Language
- Haskell
- License
- None
- Created
- 2020
- Tier
- Prototype (100 to 249 ★) 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/saw-scriptStars: 525HaskellAlpha
- GaloisInc/ivoryStars: 417HaskellAlpha
- GaloisInc/swankyStars: 366SieveAlpha
Nearby in Haskell
All Haskell repos- lykahb/groundhogStars: 181HaskellPrototype
- ekmett/propagatorsStars: 181HaskellPrototype
- awakesecurity/spectacleStars: 181HaskellPrototype