A Python library for simulating finite automata, pushdown automata, and Turing machines
☆404Mar 19, 2026Updated 2 months ago
Alternatives and similar repositories for automata
Users that are interested in automata are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- One-dimensional computational topology☆12Apr 22, 2026Updated last month
- A Python package for automata theory.☆59Jan 17, 2024Updated 2 years ago
- Academic Python Library to manage DFA, NFA and AFW automata.☆23Apr 3, 2024Updated 2 years ago
- A python library to manipulate formal languages and various automata☆60Sep 4, 2025Updated 8 months ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Nov 3, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- An automata learning library written in Python.☆48Feb 26, 2020Updated 6 years ago
- Review on popular IoT platforms☆10Nov 8, 2018Updated 7 years ago
- ☆12Jan 5, 2021Updated 5 years ago
- A Python 3 implementation of Tree data structure☆16Oct 31, 2014Updated 11 years ago
- A Python library for working with finite state automata.☆26Oct 12, 2011Updated 14 years ago
- Malware (analysis results, tools, reference, analysis methods, etc.)☆16Apr 18, 2023Updated 3 years ago
- C++ Library for Quantum State Preparation (QSP)☆12Jan 5, 2023Updated 3 years ago
- A combinator reduction engine that accepts syntax for lambda expressions and is optimal. Rebase pending. That will affect forks. Downstre…☆12Mar 31, 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.
- A free, open-source Java library for automata, graphs, and transition systems☆100Apr 8, 2026Updated last month
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Feb 4, 2019Updated 7 years ago
- Course selection made easy☆19Nov 16, 2023Updated 2 years ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆16Nov 8, 2016Updated 9 years ago
- A personal filterlist for blocking trackers/ads/malware/antiadblock/adware/data-mining and all other unacceptable/unwarranted network re…☆11Oct 4, 2022Updated 3 years ago
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆81Mar 20, 2024Updated 2 years ago
- Leveraging A-priori Knowledge in Predictive Business Process Monitoring☆10Jul 16, 2018Updated 7 years ago
- A collection of Beamer samples in Persian☆16May 7, 2024Updated 2 years ago
- Regular expression manipulation library☆396Sep 20, 2025Updated 8 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A uBO filterlist for websites engaging in anti-user behaviour.☆11Feb 23, 2026Updated 2 months ago
- A very aggressive blocking list for your pihole. This list is very aggressive, you will have to manually unblock things frequently if you…☆12May 5, 2021Updated 5 years ago
- List of sensitive fields that should be masked, obfuscated, or purged for security purposes☆22Sep 11, 2023Updated 2 years ago
- implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples☆77Dec 3, 2019Updated 6 years ago
- Latex listing for planning formalisms☆15May 17, 2022Updated 4 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- Blocks ad & malware URLs system wide in all applications, not just in the browser. Loads known advertising and malware hosts to the Mac O…☆16Dec 15, 2016Updated 9 years ago
- A Fast Floating-Point Satisfiability Solver☆30Jul 26, 2025Updated 9 months ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Mar 25, 2023Updated 3 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.
- Adblock Plus Filter List syntax☆12Jul 11, 2020Updated 5 years ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆12Mar 12, 2025Updated last year
- Sequitur and RePair grammar induction algorithms implementation☆28Dec 8, 2023Updated 2 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆57Mar 3, 2020Updated 6 years ago
- BluSTL (pronounced "blue steel") is a MATLAB toolkit for automatically generating hybrid controllers from specifications written in Signa…☆30Feb 28, 2018Updated 8 years ago
- Lean type-checker written in Scala.☆42Mar 13, 2022Updated 4 years ago
- TOs kernel FAT16 & FAT32 filesystem parser and handler☆20Feb 16, 2025Updated last year