Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Alive2 | 634 | 3 months ago | 56 | mit | C++ | |||||
Automatic verification of LLVM optimizations | ||||||||||
Summus | 173 | 5 years ago | mit | C | ||||||
Simple compiler frontend using LLVM as backend | ||||||||||
Webcl Validator | 34 | 10 years ago | 15 | mit | C | |||||
WebCL Validator | ||||||||||
Danger Code_style_validation | 21 | a year ago | 9 | mit | Ruby | |||||
Danger plugin for code style validation based on clang-format | ||||||||||
Fipv | 17 | 3 months ago | 3 | October 07, 2021 | mit | C | ||||
Fast IP validator with C language as a python module | ||||||||||
Cocoapods Clang Format Hook | 5 | 9 years ago | 2 | mit | Ruby | |||||
Easily setup a git pre-commit hook to validate your code. |