Regular Expression (Regex), Nondeterministic finite automaton (NFA) and Deterministic finite automaton (DFA) implement in PHP.
☆33May 24, 2018Updated 7 years ago
Alternatives and similar repositories for FormalTheory
Users that are interested in FormalTheory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A MiniKanren in Python☆37Jul 15, 2016Updated 9 years ago
- ☆11Sep 16, 2016Updated 9 years ago
- Ruby wrapper around the Google Chart API☆103May 11, 2011Updated 14 years ago
- Integration of the amazing Vue JS frontend with Symfony. Suitable for a traditional web App as well as a SPA.☆11Aug 1, 2018Updated 7 years ago
- WIP: Just sample app with API☆12Apr 9, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Implementation of the circuit breaker pattern☆10Feb 25, 2026Updated 2 months ago
- A language for filtering, matching, and validating Python dictionaries☆47Aug 28, 2023Updated 2 years ago
- A Symfony 2 console command to debug listeners☆56Apr 18, 2017Updated 9 years ago
- An Ansible playbook to setup my Ubuntu system☆11Apr 22, 2016Updated 10 years ago
- TrueSkill algorithm implementation in go☆19Apr 13, 2026Updated 2 weeks ago
- Symfony bundle for convenient work with queues. Currently it supports RabbitMQ.☆11Nov 1, 2021Updated 4 years ago
- Go (golang) bindings for Picosat, the satisfiability solver☆16Feb 18, 2018Updated 8 years ago
- This reposititory is abandoned use the actual instead:☆12May 24, 2018Updated 7 years ago
- Symfony2 integration for CalendR PHP library☆23Jan 18, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- robots.txt as a service. Crawls robots.txt files, downloads and parses them to check rules through an API☆16Dec 2, 2020Updated 5 years ago
- A Jupyter Kernel for SWI-Prolog☆25Nov 1, 2018Updated 7 years ago
- PHP Matrix data structure☆14Jul 4, 2018Updated 7 years ago
- Golang structured logging (slog) deduplication and sorting for use with json logging☆23Mar 9, 2026Updated last month
- Awesome collection of meta tags☆23Sep 15, 2022Updated 3 years ago
- fmtc overrides print functions of the fmt package and add ability to coloring the console output in the HTML-style☆15Mar 21, 2017Updated 9 years ago
- a PHP Framework☆15May 25, 2012Updated 13 years ago
- Sistema para gerenciamento de eventos em CakePHP mantido pelo PHPMS☆31Aug 8, 2013Updated 12 years ago
- Exec into kubernetes pod easy (via kubectl)☆15May 27, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Modern code coverage analysis library☆31Mar 28, 2016Updated 10 years ago
- Telegram Bot API PHP. A pure fork of irazasyed/telegram-bot-sdk☆15Mar 23, 2021Updated 5 years ago
- A framework for rapidly building polymer apps.☆12Nov 19, 2015Updated 10 years ago
- Adds support for automated PyFlakes linting in TextMate☆57Jul 29, 2011Updated 14 years ago
- Async AMQP 0.9.1 client for PHP☆13Feb 26, 2018Updated 8 years ago
- Simple blog application with Ember 2.0 and Firebase☆15Oct 1, 2015Updated 10 years ago
- Docker image with PHP 7.0☆14Dec 14, 2017Updated 8 years ago
- moved to https://github.com/cekta/di☆20Sep 13, 2019Updated 6 years ago
- IPCamera Telegram Bot☆19Jan 10, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- PHP runtime layer for AWS Lambda, allowing PHP scripts to be executed in an environment as close to a standard web server as possible☆19Apr 18, 2026Updated last week
- Sample TODO application using ZF2 and malocher/cqrs-esb☆24Apr 25, 2014Updated 12 years ago
- Workerman runtime for symfony applications☆28Aug 21, 2025Updated 8 months ago
- P2P WebRTC based encrypted data transfer between peers.☆30Jul 23, 2017Updated 8 years ago
- ATOL API v3/v4/v5 client for PHP☆31Oct 20, 2025Updated 6 months ago
- Tmux plugin that gives you access to some (potentially) useful information about AWS.☆35Apr 9, 2021Updated 5 years ago
- A CLI tool to get/set/bump the `version` key in pubspec.yaml.☆28Jul 26, 2020Updated 5 years ago