AlphaUncommon
smackers/smack
SMACK Software Verifier and Verification Toolchain
- Owner
- smackers (organization)
- Stars
- Stars: 450
- Forks
- Forks: 86
- Language
- C
- License
- None
- Created
- 2012
- Topics
- verificationllvmverifiersmtcverification-toolchainrustc-plus-plus
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in C
All C repos- boku7/Ninja_UUID_RunnerStars: 450CAlpha
- phkaeser/wlmakerStars: 450CAlpha
- rochus-keller/CspChanStars: 450CAlpha
- PeterScott/murmur3Stars: 450CAlpha
- fribidi/fribidiStars: 450CAlpha
- xant/libhlStars: 450CAlpha