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...
Phinx : Phinx makes it ridiculously easy to manage the database migrations for your PHP app. In less than 5 minutes you can install Phinx and create your firs...
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 ...
Psalm : Psalm is a static analysis tool for finding errors in PHP applications.
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.