A Python library for simulating finite automata, pushdown automata, and Turing machines
☆407Jun 25, 2026Updated this week
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:
- Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.☆57Aug 28, 2023Updated 2 years ago
- One-dimensional computational topology☆12Apr 22, 2026Updated 2 months ago
- A Python package for automata theory.☆59Jan 17, 2024Updated 2 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
- 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.
- Malware (analysis results, tools, reference, analysis methods, etc.)☆16Apr 18, 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
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Feb 4, 2019Updated 7 years ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆17Nov 8, 2016Updated 9 years ago
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆81Mar 20, 2024Updated 2 years ago
- Regular expression manipulation library☆398Sep 20, 2025Updated 9 months ago
- ☆12Sep 12, 2022Updated 3 years ago
- ☆12Feb 28, 2020Updated 6 years ago
- A uBO filterlist for websites engaging in anti-user behaviour.☆11Feb 23, 2026Updated 4 months 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.
- implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples☆77Dec 3, 2019Updated 6 years ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 8 years ago
- Latex listing for planning formalisms☆15May 17, 2022Updated 4 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- Adblock/uBlock filter list for clickbait and distractions (News sites hate this one weird trick!)☆13Jun 12, 2026Updated 2 weeks ago
- repository dedicated to the development of Globe 42 collective application to help them to manage their members☆11Sep 2, 2022Updated 3 years ago
- A teaching aid library for formal languages and compiler courses☆13May 5, 2026Updated last month
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated 11 months ago
- Various blocklists☆16Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Mar 25, 2023Updated 3 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆13Sep 27, 2021Updated 4 years ago
- Adblock Plus Filter List syntax☆12Jul 11, 2020Updated 5 years ago
- Sequitur and RePair grammar induction algorithms implementation☆29Updated this week
- NL2Flow: A PDDL Interface to Flow Construction☆15Dec 4, 2025Updated 6 months ago
- Tarski - An AI Planning Modeling Framework☆71Dec 23, 2025Updated 6 months ago
- ☆15Sep 22, 2023Updated 2 years ago
- A Reverse Image Search Engine☆19Mar 31, 2020Updated 6 years ago
- Collection of urls that e-mail trackers use to see if you opened their mail.☆18Sep 20, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Domain blocklist covering manually spotted trackers, marketing bullshit, abusive domains, telemetry and other nuisances.☆12Sep 20, 2021Updated 4 years ago
- A list of bugs found by SQLancer☆17Jan 30, 2024Updated 2 years ago
- A Python library for simulating and visualizing finite automata☆71Apr 27, 2026Updated 2 months ago
- ☆15Sep 28, 2023Updated 2 years ago
- The PE for the second generation CGRA (garnet).☆18Feb 22, 2026Updated 4 months ago
- A spiffy theme for LaTex Beamer inspired by Rome☆12Sep 25, 2019Updated 6 years ago
- Integer Multiplier Generator for Verilog☆25Jul 4, 2025Updated 11 months ago