Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Cclyzer | 86 | 3 years ago | 2 | mit | C++ | |||||
A tool for analyzing LLVM bitcode using Datalog. | ||||||||||
Comba | 19 | 3 years ago | 1 | gpl-3.0 | C++ | |||||
A Comprehensive Model-Based Analysis Framework for High Level Synthesis of Real Applications | ||||||||||
Canal | 12 | 5 years ago | C | |||||||