BetaRare
GaloisInc/crucible
Crucible is a library for symbolic simulation of imperative programs
- Owner
- GaloisInc (organization)
- Stars
- Stars: 781
- Forks
- Forks: 48
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2016
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by GaloisInc
All 15 repos by GaloisInc- GaloisInc/cryptolStars: 1,227HaskellBeta
- GaloisInc/HaLVMStars: 1,069HaskellBeta
- GaloisInc/saw-scriptStars: 525HaskellAlpha
- GaloisInc/ivoryStars: 417HaskellAlpha
- GaloisInc/swankyStars: 366SieveAlpha
- GaloisInc/reoptStars: 344LLVMAlpha
Nearby in Haskell
All Haskell repos- nick8325/quickcheckStars: 792HaskellBeta
- hspec/hspecStars: 785HaskellBeta
- ollef/sixtenStars: 785HaskellBeta
- snowleopard/algaStars: 763HaskellBeta
- zachjs/sv2vStars: 761HaskellBeta
- haskell-distributed/distributed-processStars: 755HaskellBeta