olleharstedt / subsetphpLinks
A type-inferring compiler for a safer and disciplined subset of PHP, based on HHVM Hack compiler
☆28Updated 8 years ago
Alternatives and similar repositories for subsetphp
Users that are interested in subsetphp are comparing it to the libraries listed below
Sorting:
- A handy function for creating opaque types☆19Updated 7 years ago
- why, Andrea, why☆9Updated 8 years ago
- PEG (parsing expression grammar) compiler for PHP☆190Updated 7 years ago
- Partial function application.☆114Updated 7 years ago
- HackLang for PHP Transpiler☆60Updated 8 years ago
- Hoa is a modular, extensible, and structured set of PHP libraries.☆103Updated 6 years ago
- A static analysis engine☆171Updated 9 years ago
- A middleware proposal for PHP☆78Updated 9 years ago
- Composable algorithmic transformations in PHP (mostly a toy and unsupported)☆240Updated 7 years ago
- Parsing library for PHP☆89Updated 3 years ago
- A very rough preservation of historical PHP versions from 1.0.8 through 3.0.18 as originally preserved at museum.php.net☆31Updated 8 years ago
- A PHP implementation of BallAndChain☆19Updated 9 years ago
- Build HTTP Public-Key-Pinning headers from a JSON file (or build them programmatically)☆41Updated 7 years ago
- Documentation as tests "à la" Rust for PHP.☆48Updated 2 years ago
- Creating native instructions in PHP since 2014☆191Updated 7 years ago
- A new foreign-function interface for PHP☆39Updated 7 years ago
- Automatic strict types in PHP7☆62Updated 9 years ago
- The Hoa\Praspel library.☆40Updated 8 years ago
- Interactive voting results for PHP RFC process.☆128Updated 2 months ago
- A simple Monad library for PHP☆294Updated 9 years ago
- php-ref - PHP 7 extension that adds Soft and Weak references support to PHP☆60Updated 7 years ago
- ☆552Updated 6 years ago
- Lambdalicious - Experiments in Elegant Functional Programming in PHP☆124Updated 9 years ago
- Cache things with a minor change on your code.☆46Updated 8 years ago
- generative testing for PHP☆189Updated 3 years ago
- Tagua VM is an experimental PHP Virtual Machine that guarantees safety and quality by removing large classes of vulnerabilities thanks to…☆424Updated 8 years ago
- Typed arrays in PHP☆38Updated 9 years ago
- PHP Rust Process Manager☆117Updated 7 years ago
- An implementation of the Actor model for PHP☆62Updated 7 years ago
- RFC 3986 compliant url parsing library with PSR-7 Uri component☆32Updated 2 years ago