← Back to Discover
facebook

facebook/SPARTA

C++MITactive
77Health

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

Stars671
Forks56
Open Issues3
Contributors56
Last Push0d ago

Health Breakdown

Activity
25
Community
13
Maintenance
14
Popularity
25
View on GitHub ↗Issues (3) ↗Pull Requests ↗

Should you contribute to facebook/SPARTA?

facebook/SPARTA has a FoundDev health score of 77/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.

Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in C++, so prior C++ experience will shorten ramp-up.

Licensed under MIT, a standard OSI-approved license — safe to contribute to under normal employer IP policies.

Community

facebook77

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

active
67156 contributors3 issues
0d ago

More C++ repos

PX4
PX4/PX4-Autopilot
PX4 Autopilot Software
12.2k97
mavlink
mavlink/MAVSDK
API and library for MAVLink compatible systems written in C++ 20
91395
mavlink
mavlink/qgroundcontrol
Cross-platform ground control station for drones (Android, iOS, Mac OS, Linux, Windows)
4.8k95