61 Open Source Automata Software Projects

Collection of helpful utilities we use in our Unity projects.

State-Transition Systems for Smart Contracts

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

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

A Python package for automata theory.

An implementation of the Tsetlin Machine in Rust

From LTLf/LDLf To Automata

Cross-chain proofs and atomic transactions

Temporal Logic Planning toolbox

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

Finite-State Machines for Java

Encoding Agnostic Validation (Validation Language, Parsers and Encoders)

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

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

A python library to manipulate formal languages

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

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

A set of tools for analyzing languages via logic and automata

Lightweight Java State Machine

VATA Tree Automata Library

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

A comprehensive autonomous decentralized systems framework for AI control architects.

Generate 3D cellular automata

A regular expression converter

🕸️ A graph based IR in Kotlin

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

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

A Web Application to convert NFA to DFA.

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

Proc-macro typestate DSL for Rust

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

Specify and synthesize systems using symbolic algorithms

A Python library for simulating and visualizing finite automata

An Active Automata Learning Library Written in Python

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

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

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

The Ultimate program analysis framework.

A minimal Python finite-state machine.

Unitex/GramLab C++ Core

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

Netzob: Protocol Reverse Engineering, Modeling and Fuzzing

Generative music using conway's game of life

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

Conway's game of life

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

Unitex/GramLab Java IDE

Repositorio con PECs Ingenieria Informatica Uned

Python implementation for Understanding Computation book.

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

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

Aho-Corasick string search algorithm PHP extension implementation.

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

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

DFA regular expression library & friends

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

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

Python Finite State Machines made easy.

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

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

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