A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.
☆13May 21, 2021Updated 4 years ago
Alternatives and similar repositories for automata-toolkit
Users that are interested in automata-toolkit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.☆30Apr 22, 2021Updated 4 years ago
- A program to convert the given regular expression to Non Definite Automata (NFA)☆10Feb 3, 2019Updated 7 years ago
- Regular Expression library in C++☆12Oct 5, 2012Updated 13 years ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆13Aug 5, 2025Updated 7 months ago
- A python framework for Optimal Planning Modulo Theories☆12Jan 26, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Context free grammar to pushdown automaton convertor, along with string parser - Theory of Languages and Machines project, spring 2020☆13Jan 18, 2022Updated 4 years ago
- Relational Features for Planning☆14Feb 18, 2026Updated last month
- This repo contains the Mini-Project starter kit for the class of 2023☆10May 2, 2023Updated 2 years ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆18Sep 17, 2025Updated 6 months ago
- ☆18Jan 3, 2022Updated 4 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Записки по „Езици, автомати и изчислимост"☆14Jun 13, 2022Updated 3 years ago
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 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.
- ☆12Jan 8, 2016Updated 10 years ago
- A parser class for simple formulae.☆12Feb 21, 2017Updated 9 years ago
- A repository of my BTech assignments for different papers.☆15Jun 12, 2021Updated 4 years ago
- Finite State Machine Library for .NET Core (with EASY and ADVANCED implementation)☆20Feb 24, 2018Updated 8 years ago
- ☆11May 24, 2022Updated 3 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- ☆10Dec 13, 2021Updated 4 years ago
- Script to run the Conquer The Flag PACMAN contest☆19Apr 21, 2025Updated 11 months ago
- GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs☆14Jan 5, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Implementation and experiment of the MusGConv paper.☆15Sep 6, 2024Updated last year
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆14Jul 28, 2019Updated 6 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 10 years ago
- ☆11Oct 17, 2024Updated last year
- A list of bugs found by SQLancer☆17Jan 30, 2024Updated 2 years ago
- Fuzzing Coreutils with AFL on kubernetes☆13Apr 25, 2019Updated 6 years ago
- A repository to help you build your best GitHub Profile. If you find this repository helpful please ⭐☆20May 15, 2023Updated 2 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.
- Code for training and testing a Hidden Parameter Markov Decision Process, used to facilitate the transfer of learning☆29Dec 28, 2017Updated 8 years ago
- Advanced Concepts☆27Aug 24, 2024Updated last year
- Engineering Solver helps to do calculations with units and thermodynamic properties in a very fast way.☆18Oct 29, 2025Updated 5 months ago
- For BambooFox☆14Sep 25, 2016Updated 9 years ago
- Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes☆19Jan 16, 2026Updated 2 months ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated 11 months ago
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 6 years ago