Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Sparta | 600 | 3 months ago | 3 | May 04, 2023 | mit | C++ | ||||
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation. | ||||||||||
Myenergi App Api | 80 | 2 years ago | 6 | |||||||
Investigation of the MyEnergi App |