AlphaUncommon
meta/SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
- Owner
- meta (organization)
- Stars
- Stars: 674
- Forks
- Forks: 57
- Language
- C++
- License
- MIT
- Created
- 2018
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by meta
All 109 repos by meta- meta/docusaurusStars: 66,628TypeScriptLTS
- meta/rocksdbStars: 32,241C++LTS
- meta/follyStars: 30,555C++LTS
- meta/zstdStars: 28,151CLTS
- meta/lexicalStars: 23,991TypeScriptLTS
- meta/flowStars: 22,307RustLTS
Nearby in C++
All C++ repos- PetteriAimonen/focus-stackStars: 674C++Alpha
- MolecularMatters/psd_sdkStars: 674C++Alpha
- hggq/paozhuStars: 674C++Alpha
- chokkan/crfsuiteStars: 674C++Alpha
- bigartm/bigartmStars: 674C++Alpha
- nest/nest-simulatorStars: 674C++Alpha