olleharstedt / subsetphpLinks
A type-inferring compiler for a safer and disciplined subset of PHP, based on HHVM Hack compiler
☆28Updated 9 years ago
Alternatives and similar repositories for subsetphp
Users that are interested in subsetphp are comparing it to the libraries listed below
Sorting:
- Experiment with PHP+C polyglot snippets and a transpiler written in OCaml☆20Updated last year
- ☆552Updated 6 years ago
- why, Andrea, why☆9Updated 8 years ago
- A handy function for creating opaque types☆19Updated 7 years ago
- PEG (parsing expression grammar) compiler for PHP☆190Updated 7 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
- Lime is a LALR(1) parser generator written in PHP. The original source code can be found at http://sourceforge.net/projects/lime-php/, th…☆60Updated 8 years ago
- Partial function application.☆114Updated 7 years ago
- A miniKanren in PHP.☆74Updated 10 years ago
- Creating native instructions in PHP since 2014☆191Updated 7 years ago
- A simple Monad library for PHP☆295Updated 9 years ago
- PHP Object Model Manager for Postgresql☆165Updated 8 years ago
- A static analysis engine☆171Updated 9 years ago
- OOPish implementation of token_get_all☆11Updated 9 years ago
- Pattern matching for PHP with automatic destructuring.☆82Updated 3 years ago
- Build HTTP Public-Key-Pinning headers from a JSON file (or build them programmatically)☆41Updated 7 years ago
- PHP 7 to PHP 5.6 Transpiler☆177Updated 7 years ago
- Lambdalicious - Experiments in Elegant Functional Programming in PHP☆124Updated 9 years ago
- A modular Hack framework that runs on HHVM.☆206Updated 9 years ago
- An implementation of the Maybe monad in PHP.☆13Updated 8 years ago
- Smart compressed files extractor for PHP☆224Updated 6 years ago
- generative testing for PHP☆188Updated 3 years ago
- Parsing library for PHP☆89Updated 3 years ago
- Documentation as tests "à la" Rust for PHP.☆48Updated 2 years ago
- This is an attempt to define, implement, and refine a new set of data-structures for PHP.☆14Updated 12 years ago
- OOP ncurses library for PHP☆10Updated 9 years ago
- ☆33Updated 10 years ago
- POD the PHP preprocessor☆25Updated 8 years ago
- A PHP Type reconstruction library☆36Updated 6 years ago
- detection of design patterns in PHP code☆117Updated last year