TLA : TLA stands for the Temporal Logic of Actions, but it has become a shorthand for referring to the TLA+ specification language and the PlusCal algorithm...
Phan : Phan is a static analyzer that looks for common issues and will verify type compatibility on various operations when type information is available or ...
PHP Insights : PHP Insights was carefully crafted to simplify the analysis of your code directly from your terminal, and is the perfect starting point to analyze the...
SensioLabs Security Advisories Checker : The SensioLabs security advisories checker is a simple tool, available as a web service or as an online application, that uses the information from yo...
Snyk : Snyk helps you use open source and stay secure.
Continuously find & fix vulnerabilities in your dependencies.
Pre is a PHP preprocessor, designed to make adding new syntax effortless. It's also a collection of pre-built macros, which we use because they make our code clearer and simpler.