igorw / reasoned-phpLinks
A miniKanren in PHP.
☆74Updated 10 years ago
Alternatives and similar repositories for reasoned-php
Users that are interested in reasoned-php are comparing it to the libraries listed below
Sorting:
- [Archive] Experimental MongoDB driver for HHVM - This Repository is NOT a supported MongoDB product☆56Updated 9 years ago
- ☆551Updated 6 years ago
- Creating native instructions in PHP since 2014☆190Updated 7 years ago
- PEG (parsing expression grammar) compiler for PHP☆191Updated 8 years ago
- Partial function application.☆114Updated 7 years ago
- A simple Monad library for PHP☆295Updated 9 years ago
- xUnit testing framework written in hacklang☆62Updated 7 years ago
- The official Hack Language specification.☆174Updated 6 years ago
- generative testing for PHP☆188Updated 3 years ago
- Functors, Applicative Functors and Monads in PHP☆363Updated 8 months ago
- Lisphp is a Lisp dialect written in PHP.☆179Updated 10 years ago
- Functional Programming Library For PHP☆59Updated 8 years ago
- Reverts the php-ast AST back into (somewhat) PSR-compliant code☆52Updated 6 years ago
- Lambdalicious - Experiments in Elegant Functional Programming in PHP☆124Updated 9 years ago
- Lisp to PHP Compiler☆217Updated 7 years ago
- Autoload classes, functions, enums, constants, and typedefs on HHVM☆35Updated 3 years ago
- Composable algorithmic transformations in PHP (mostly a toy and unsupported)☆241Updated 7 years ago
- A hack-lang mvc Framework☆34Updated 7 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
- Parsing library for PHP☆89Updated 3 years ago
- Petrinet framework for PHP☆124Updated 4 years ago
- Pattern matching for PHP with automatic destructuring.☆82Updated 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 9 years ago
- Specification for interoperability of common algebraic structures in PHP☆38Updated 8 months ago
- A compiler for PHP☆137Updated 4 years ago
- A handy function for creating opaque types☆19Updated 7 years ago
- HackLang for PHP Transpiler☆60Updated 8 years ago
- Auto-curried function library for PHP☆18Updated last year
- Reactive extensions for PHP.☆205Updated 9 years ago
- A type-inferring compiler for a safer and disciplined subset of PHP, based on HHVM Hack compiler☆28Updated 9 years ago