AlphaPeu commune
meta/SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
- Propriétaire
- meta (organisation)
- Étoiles
- Étoiles : 674
- Forks
- Forks : 57
- Langage
- C++
- Licence
- MIT
- Création
- 2018
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de meta
Les 109 dépôts de meta- meta/docusaurusÉtoiles : 66 628TypeScriptLTS
- meta/rocksdbÉtoiles : 32 241C++LTS
- meta/follyÉtoiles : 30 555C++LTS
- meta/zstdÉtoiles : 28 151CLTS
- meta/lexicalÉtoiles : 23 991TypeScriptLTS
- meta/flowÉtoiles : 22 307RustLTS
D’autres dépôts C++
Tous les dépôts C++- PetteriAimonen/focus-stackÉtoiles : 674C++Alpha
- MolecularMatters/psd_sdkÉtoiles : 674C++Alpha
- hggq/paozhuÉtoiles : 674C++Alpha
- chokkan/crfsuiteÉtoiles : 674C++Alpha
- bigartm/bigartmÉtoiles : 674C++Alpha
- nest/nest-simulatorÉtoiles : 674C++Alpha