Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
- code-analyzer
- code-style
- coding-standards
- formatter
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- static-analysis
- software-verification
- abstract-interpretation
- program-analysis
A cross-platform Vulkan layer which checks Vulkan applications for best practices on Arm Mali devices.