Alternatives and similar repositories for FormalTheory

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

• Sqon / sqon
  Reads and writes Sqons.
  ☆40Updated 9 years ago
• bertptrs / phpstreams
  A streams library for PHP inspired by the Java 8 Streams API.
  ☆88Updated 7 years ago
• geraintluff / jsv4-php
  A (coercive) JSON Schema v4 Validator for PHP
  ☆115Updated 8 years ago
• ircmaxell / php-types
  A PHP Type reconstruction library
  ☆36Updated 5 months ago
• phly / psr7examples
  PSR-7 stream examples
  ☆47Updated 5 months ago
• tarsana / command
  A library to build command line applications using PHP
  ☆168Updated 3 years ago
• Big-Shark / forked-php-orm-benchmark
  François Zaninotto php-orm-benchmark with updated vendors
  ☆11Updated 7 years ago
• kzykhys / Parallel.php
  Simple multitasking library for PHP5.4 (*nix only)
  ☆93Updated 11 years ago
• do-aki / gophp_sample
  a sample of php extension by golang
  ☆143Updated 10 years ago
• aaronbieber / edison
  Edison lets you run experiments to compare outcomes of refactoring.
  ☆21Updated 10 years ago
• ikwattro / guzzle-stereo
  Record and Replay HTTP Responses easily
  ☆78Updated 9 years ago
• ircmaxell / prerano
  A new language for PHP
  ☆65Updated 6 years ago
• quasilyte / phpgrep
  Syntax-aware grep for PHP code.
  ☆239Updated last year
• CHH / bob
  Hi I'm Bob! I'm a tiny and messy build tool for PHP projects
  ☆105Updated last year
• phplang / phack
  HackLang for PHP Transpiler
  ☆60Updated 9 years ago
• JCook21 / ReactAMQP
  AMQP bindings for React PHP.
  ☆27Updated 10 years ago
• nikic / sample_prof
  Sampling profiler for PHP
  ☆59Updated 2 years ago
• qntm / loco
  Parsing library for PHP
  ☆89Updated 3 years ago
• lox / pheasant
  A lightweight data mapper designed to take advantage of PHP 5.3+
  ☆100Updated 2 years ago
• plumphp / plum
  Plum is a data processing pipeline for PHP.
  ☆140Updated 3 years ago
• PHPGames / FANNTicTacToe
  Fast Artificial Neural Network Tic Tac Toe game
  ☆23Updated 9 years ago
• italolelis / collections
  Collections Abstraction library for PHP
  ☆64Updated 9 years ago
• Sean-Der / Therac
  A Simple PHP Pair Debugger
  ☆95Updated 10 years ago
• benschw / satis-go
  ☆96Updated 5 years ago
• vector-php / vector
  A PHP functional programming library.
  ☆19Updated 2 weeks ago
• mariano / disque-php
  PHP library for Disque, an in-memory, distributed job queue
  ☆133Updated 8 years ago
• powder96 / numbers.php
  Advanced Mathematics Library for PHP (port of Numbers.js)
  ☆158Updated 9 years ago
• Riimu / Kit-UrlParser
  RFC 3986 compliant url parsing library with PSR-7 Uri component
  ☆32Updated 3 years ago
• Respect / Config
  A powerful, small, deadly simple configurator and dependency injection container DSL made to be easy
  ☆99Updated 3 weeks ago
• ericmann / sessionz
  PHP library for smarter session management in modular applications
  ☆57Updated 3 years ago