61 Open Source Automata Software Projects

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

Lightweight Java State Machine

Netzob: Protocol Reverse Engineering, Modeling and Fuzzing

books and resources loved by r/learnprogramming community, compiled by me, a lurker who kept track

DFA regular expression library & friends

There is no state but what we make. Feel free to pitch in.

A regular expression converter

A low level regular expression library that uses deterministic finite automata.

🤖 A curated list of awesome resources related to finite state machines and statecharts.

Collection of helpful utilities we use in our Unity projects.

Python Finite State Machines made easy.

JavaScript library for working with automata and grammars for regular and context-free languages

Zero-cost state-machine library for robust, testable and portable user interfaces (most machines compile ~1-2KB)

A Python library for simulating finite automata, pushdown automata, and Turing machines

The Ultimate program analysis framework.

Encoding Agnostic Validation (Validation Language, Parsers and Encoders)

Temporal Logic Planning toolbox

An implementation of Wireworld (Cellular Automata) in Nim using SDL2

Rust re-implementation of OpenFST - library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs).

A free, open-source Java library for modeling automata, graphs, and transition systems

Aho-Corasick string search algorithm PHP extension implementation.

High performance Trie and Ahocorasick automata (AC automata) Keyword Match & Replace Tool for python

Deterministic Finite Automata in C++, Token Parser & Lexer

Generative music using conway's game of life

Conway's game of life

Non-trivial, real use case demo of a hierarchical state machine library with cyclejs

Specify and synthesize systems using symbolic algorithms

State-Transition Systems for Smart Contracts

VATA Tree Automata Library

A minimal Python finite-state machine.

Python implementation for Understanding Computation book.

Just a simple tool that enables the free camera debug mode in NieR:Automata.

Cross-chain proofs and atomic transactions

Unitex/GramLab C++ Core

converting regex (regular expression) to DFA directly by creating syntax tree in java

Academic Python Library to manage DFA, NFA and AFW automata.

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

Context Free Grammar(CFG) parser library and application written in Python

💻Speech and Natural Language Processing (SLP & NLP) Lab Assignments for ECE NTUA

Generate 3D cellular automata

An implementation of the Tsetlin Machine in Rust

A Python package for automata theory.

Unitex/GramLab Java IDE

[WIP] :books: A python automata library implementing Finite Automata, FA with Output, PDA and TM :rocket: :smile:

C automata library to build, determinize, minimize, translate regexp etc

🕸️ A graph based IR in Kotlin

From LTLf/LDLf To Automata

Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.

A comprehensive autonomous decentralized systems framework for AI control architects.

Proc-macro typestate DSL for Rust

Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.

An Active Automata Learning Library Written in Python

A pattern for creating highly compact and light-weight general purpose finite state machines.

Frame is a markdown language for creating state machines (automata) in 7 programming languages as well as generating UML documentation.

A fast, C++ OpenGL implementation of Conway's Game of Life. Now includes a 3D version!

A Python library for simulating and visualizing finite automata

A python library to manipulate formal languages

Repositorio con PECs Ingenieria Informatica Uned

Finite-State Machines for Java

A Web Application to convert NFA to DFA.

A set of tools for analyzing languages via logic and automata