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:
- Provide helpers that validate a request against an OpenAPi/Swagger2 API description☆24Jul 12, 2023Updated 3 years ago
- Simple Refinement types for F#. No longer maintained.☆11Jun 22, 2019Updated 7 years ago
- OCaml extension for a Go-ish [%defer ...] syntax☆16May 30, 2022Updated 4 years ago
- Electron & Vue based Radio Record player☆11Jul 7, 2020Updated 6 years ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 6 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.
- [DEPRECATED] Partial function application. See react/partial.☆34Aug 30, 2013Updated 13 years ago
- Composable code-quality tools☆13Jun 22, 2018Updated 8 years ago
- A tool to help build chains of dependent nugets across many solutions☆11Apr 2, 2015Updated 11 years ago
- PHP Gettext implementation☆23Jan 8, 2017Updated 9 years ago
- WIP: Just sample app with API☆12Apr 9, 2017Updated 9 years ago
- The Bus-Mama is a bus tracking mobile application for the transportation of the students of BSMRSTU. It helps the students of our univers…☆14Nov 30, 2020Updated 5 years ago
- Implementation of the circuit breaker pattern☆10Feb 25, 2026Updated 7 months ago
- TrueSkill algorithm implementation in go☆19Sep 21, 2026Updated 2 weeks ago
- A listing of open source efforts of @aristath on GitHub☆13Jun 14, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- This reposititory is abandoned use the actual instead:☆12May 24, 2018Updated 8 years ago
- Analyzes resource usage and performance characteristics of running containers.☆10Jun 28, 2023Updated 3 years ago
- The BSD License, less paperwork, with a built-in life preserver☆12Apr 12, 2016Updated 10 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
- F* library for verifying neural networks.☆17Mar 25, 2023Updated 3 years ago
- Coordinated vulnerability disclosure (CVD) for security discoveries, bug reporting, breach analysis, etc.☆19Jun 8, 2026Updated 4 months ago
- PHP Documentation Sources (English)☆17Sep 3, 2020Updated 6 years ago
- macos torrents utility☆14Apr 29, 2020Updated 6 years ago
- A .NET framework for composing, evaluating, inspecting and persisting computational experiments which are represented as a dataflow.☆23Nov 28, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Quack at your docs☆14Aug 26, 2015Updated 11 years ago
- Quickly run a css selector against a remote page source from a program or cli☆16Mar 14, 2019Updated 7 years ago
- A Dependently Typed Linear π-Calculus in Agda☆17Oct 22, 2021Updated 4 years ago
- Your favorite machine learning papers: installable, deployable and reproducible (as all software should be)☆18Mar 6, 2023Updated 3 years ago
- ☆10Mar 22, 2024Updated 2 years ago
- A PHP Binding to the Rackspace Cloud DNS API Created for my own use, since no public php API lib was out at that time available☆16Oct 30, 2015Updated 10 years ago
- ☆13Dec 25, 2023Updated 2 years ago
- [KOR] Causal Inference for the Brave and True. A light-hearted yet rigorous approach to learning about impact estimation and causality.☆12Jun 21, 2026Updated 3 months ago
- 🎨 Creative Coding: Generative Art, Data visualization, Interaction Design, Resources.☆11Dec 16, 2023Updated 2 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.
- Mountain Goat offers an in-site suite to handle user analytics and a/b testing☆36Jun 25, 2020Updated 6 years ago
- An experimental package manager and development tool for Hardware Description Languages (HDL).☆14Apr 10, 2022Updated 4 years ago
- The fundamental package for scientific computing with Python.☆22Dec 23, 2023Updated 2 years ago
- The official website for MHacks 16.☆10Mar 14, 2024Updated 2 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 tool that generates a new C++ project structure so you can start writing your project immediately☆11Aug 24, 2024Updated 2 years ago
- A rundown of how Project Config works in Craft CMS.☆11Sep 11, 2019Updated 7 years ago