dbv.php : dbv.php is a database version control web application featuring schema management, revision scripts, and more!
atoum : A simple, modern and intuitive unit testing framework for PHP!
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...
churn-php : churn-php is a package that helps you identify php files in your project that could be good candidates for refactoring.
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.