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...
Rocketeer : The fast deployer for modern applications
dbv.php : dbv.php is a database version control web application featuring schema management, revision scripts, and more!
php-pm : PPM is a process manager, supercharger and load balancer for PHP applications.
It's based on ReactPHP and works best with applications that use reques...
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...
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.