Regular Expression (Regex), Nondeterministic finite automaton (NFA) and Deterministic finite automaton (DFA) implement in PHP.
☆33May 24, 2018Updated 8 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:
- Electron & Vue based Radio Record player☆11Jul 7, 2020Updated 5 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
- 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
- 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.
- wechaty人像动漫化插件☆11Aug 2, 2022Updated 3 years ago
- Symfony bundle for convenient work with queues. Currently it supports RabbitMQ.☆11Nov 1, 2021Updated 4 years ago
- This reposititory is abandoned use the actual instead:☆12May 24, 2018Updated 8 years ago
- Symfony2 integration for CalendR PHP library☆23Jan 18, 2019Updated 7 years ago
- 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
- 使用企业微信通知你的系统异常☆13Feb 9, 2019Updated 7 years ago
- PHP Matrix data structure☆14Jul 4, 2018Updated 7 years ago
- miniprogram-ci集成Github Action☆13Mar 7, 2021Updated 5 years ago
- Golang structured logging (slog) deduplication and sorting for use with json logging☆24Mar 9, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Blocks for the MicroPython API on the BBC micro:bit☆14Jan 6, 2019Updated 7 years ago
- QCloud COS FederationToken generator for Laravel.☆17May 12, 2026Updated last month
- Dockerized Joplin terminal client with exposed Data API☆18Nov 21, 2024Updated last year
- 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
- Easy to use Pomodoro timer to boost your productivity. Built with React, TypeScript & Vite☆10Feb 9, 2025Updated last year
- a PHP Framework☆15May 25, 2012Updated 14 years ago
- Sistema para gerenciamento de eventos em CakePHP mantido pelo PHPMS☆31Aug 8, 2013Updated 12 years ago
- 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
- 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.
- A framework for rapidly building polymer apps.☆12Nov 19, 2015Updated 10 years ago
- laravel hashids 版本，提供中间件，command，以及 model 层 id 加解密☆18Nov 8, 2018Updated 7 years ago
- Grafana dashboard for visualising GOLang runtime metrices using Prometheus for DC based GOLang services☆23May 24, 2020Updated 6 years ago
- textillate纯js实现版本，包括lettering(文字分离)和textillate(文字动画)的功能。☆13Aug 24, 2018Updated 7 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
- A spambot written in Go☆28May 7, 2015Updated 11 years ago
- Automatically extract body content (and other cool stuff) from an html document. based on https://github.com/ageitgey/node-unfluff, but …☆17Jul 13, 2021Updated 4 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.
- A TodoMVC implementation wrote with Symfony, Chaplin.js and Backbone.js☆74Sep 24, 2014Updated 11 years ago
- A package to leverage Laravel's UploadedFile functionality from URLs.☆17Jul 8, 2022Updated 3 years ago
- PHP Internals Book [русский перевод]☆29Nov 25, 2020Updated 5 years ago
- moved to https://github.com/cekta/di☆20Sep 13, 2019Updated 6 years ago
- CSSOM-valid and jsdom/Jest-compatible matchMedia server-side polyfill.☆29Mar 14, 2022Updated 4 years ago
- IPCamera Telegram Bot☆19Jan 10, 2021Updated 5 years ago
- PHP Code Service☆25Jun 14, 2020Updated 6 years ago