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:
- ☆14Oct 8, 2019Updated 6 years ago
- OCaml extension for a Go-ish [%defer ...] syntax☆16May 30, 2022Updated 3 years ago
- ☆13Feb 28, 2022Updated 4 years ago
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 5 years ago
- Electron & Vue based Radio Record player☆11Jul 7, 2020Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- DEPRECATED Python part of img.bi which process POST- and GET- requests.☆21Jan 15, 2016Updated 10 years ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 5 years ago
- An implementation of the game Love Letter in the terminal, written in Haskell.☆17May 27, 2019Updated 6 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆20Jan 15, 2026Updated 2 months ago
- Constraint Type provider is a Type provider that provides constraints over F# Types.☆14Aug 3, 2017Updated 8 years ago
- An Ansible playbook to setup my Ubuntu system☆11Apr 22, 2016Updated 9 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Session types in Idris2!☆26Dec 14, 2020Updated 5 years ago
- Symfony bundle for convenient work with queues. Currently it supports RabbitMQ.☆11Nov 1, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- F* library for verifying neural networks.☆17Mar 25, 2023Updated 3 years ago
- This reposititory is abandoned use the actual instead:☆12May 24, 2018Updated 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
- Multiparty Session Types toolKit☆15May 7, 2025Updated 11 months ago
- QCloud COS FederationToken generator for Laravel.☆17Mar 20, 2026Updated 2 weeks ago
- 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
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- Untitled PL Card Game☆20Apr 15, 2021Updated 4 years ago
- Modern code coverage analysis library☆31Mar 28, 2016Updated 10 years ago
- Pragmatic APIs 101☆14Nov 14, 2016Updated 9 years ago
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆30Oct 20, 2025Updated 5 months ago
- A framework for rapidly building polymer apps.☆12Nov 19, 2015Updated 10 years ago
- laravel hashids 版本，提供中间件，command，以及 model 层 id 加解密☆18Nov 8, 2018Updated 7 years ago
- Async AMQP 0.9.1 client for PHP☆13Feb 26, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- simple PHP class for telegram bot API☆10Sep 11, 2017Updated 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 10 years ago
- Collection of ready-to-go cross-browser CSS animations that you can drop into any website. Originally sourced from Animate.css, but now p…☆19Mar 12, 2026Updated 3 weeks ago
- A TodoMVC implementation wrote with Symfony, Chaplin.js and Backbone.js☆73Sep 24, 2014Updated 11 years ago
- PHP Internals Book [русский перевод]☆29Nov 25, 2020Updated 5 years ago