meta/SPARTA

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

by Meta C++ MIT licence 57 forks Created May 2018 View on GitHub

Stars
675
<1% of meta's stars
Rank
#95,374
of 847,083 repos, top 12%
In C++
#5,034
of 45,199 repos, top 12%

Among 847,083 repos

Compare with

630–1k stars: 35,500 repos, including SPARTA

Stars along the bottom, and repos in each band on a log scale

Quick stats

Next rank
+1 star to reach #95,269
Next milestone
+94 stars to reach the top 10%
Popular
One of 488,395 repos with 100+ stars
Yearly average
79 stars a year since May 2018

Stars counted Recounted daily Next count around