Alternatives and similar repositories for FormalTheory

Users that are interested in FormalTheory are comparing it to the libraries listed below

• ircmaxell / php-types
  A PHP Type reconstruction library
  ☆36Updated 6 years ago
• hafriedlander / php-peg
  PEG (parsing expression grammar) compiler for PHP
  ☆190Updated 7 years ago
• ikwattro / guzzle-stereo
  Record and Replay HTTP Responses easily
  ☆79Updated 8 years ago
• pwm / s-flow
  A lightweight library for defining state machines.
  ☆74Updated 6 years ago
• Ocramius / CodeGenerationUtils
  A set of code generator utilities built on top of PHP-Parsers that ease its use when combined with Reflection
  ☆98Updated 4 months ago
• asyncphp / icicle-database
  Deprecated
  ☆10Updated 5 years ago
• bigwhoop / trumpet
  [ABANDONED] Presentation engine for (PHP) developers
  ☆8Updated 8 years ago
• zwilias / beanie
  A clean, lean PHP beanstalkd client
  ☆15Updated 9 years ago
• Riimu / Kit-UrlParser
  RFC 3986 compliant url parsing library with PSR-7 Uri component
  ☆32Updated 2 years ago
• gakowalski / alternative-interpreters
  List of alternative PHP nad JS interpreters and compilers
  ☆88Updated 11 months ago
• joshdifabio / composed
  Easily parse your project's Composer configuration, and those of its dependencies, at runtime
  ☆52Updated 8 years ago
• Sqon / sqon
  Reads and writes Sqons.
  ☆40Updated 8 years ago
• flavius / phpmeta
  A PHP module for generating the AST tree of a PHP source code, useful for userland tools for static code analysis, a preprocessor, eventu…
  ☆26Updated 13 years ago
• TimeToogo / RapidRoute
  RapidRoute - Another fast router library for PHP
  ☆56Updated 9 years ago
• sobstel / metaphore
  Cache slam defense using a semaphore to prevent dogpile effect.
  ☆100Updated last year
• rezzza / TimeTraveler
  Time traveling php library (pretty similar to ruby timecop)
  ☆102Updated 7 years ago
• jeremyFreeAgent / Bitter
  Bitter is a simple but powerful analytics library
  ☆129Updated 11 years ago
• i582 / phpstats
  CLI Statistics and dependency graphs for PHP
  ☆70Updated 4 years ago
• pinepain / php-ref
  php-ref - PHP 7 extension that adds Soft and Weak references support to PHP
  ☆60Updated 7 years ago
• graze / supervisor
  Process supervisor for PHP.
  ☆98Updated 6 years ago
• PHPGames / FANNTicTacToe
  Fast Artificial Neural Network Tic Tac Toe game
  ☆23Updated 8 years ago
• sebastianbergmann / foal
  Tool to find lines eliminated by OpCache's bytecode optimizer
  ☆140Updated last year
• diarmuidie / EnvPopulate
  PHP tool to interactively populate a `.env` file based on an `.env.example` file whenever Composer installs or updates.
  ☆17Updated 4 years ago
• Ocramius / Finalizer
  A simple utility library that checks for PHP classes that should or shouldn't be marked as final
  ☆79Updated 6 years ago
• quasilyte / phpgrep
  Syntax-aware grep for PHP code.
  ☆236Updated last year
• alexandresalome / graphviz
  PHP Graphviz library
  ☆73Updated last year
• MarkBaker / Tries
  Trie and RadixTrie Datastructure Implementations in PHP, with a couple of working examples showing their use
  ☆21Updated 4 years ago
• antonmedv / purephp
  PurePHP Key-Value Storage
  ☆87Updated 6 years ago
• qntm / loco
  Parsing library for PHP
  ☆89Updated 3 years ago
• vector-php / vector
  A PHP functional programming library.
  ☆19Updated 4 years ago