Anautomaton is a relatively self-operating machine designed to automatically follow a sequence of operations.

The term has long been commonly associated with automated puppets that resemble moving humans or animals, built to impress and/or to entertain people.

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

• UpdatedOct 13, 2025
• Rust

Python module (C extension and plain python) implementing Aho-Corasick algorithm

• UpdatedOct 30, 2025
• C

🤖 RxSwift + State Machine, inspired by Redux and Elm.

• UpdatedDec 12, 2021
• Swift

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

• UpdatedNov 6, 2025
• Python

Reactive State Machine Framework for Arduino

• UpdatedFeb 9, 2024
• C++

🌾 Harvest: Apple's Combine.framework + State Machine, inspired by Elm.

• UpdatedDec 12, 2021
• Swift

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

• UpdatedJul 7, 2023
• Rust

🤖 ReactiveCocoa + State Machine, inspired by Redux and Elm.

• UpdatedDec 12, 2021
• Swift

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

• UpdatedOct 29, 2021
• JavaScript

🎉The Sonic UIAutomation Driver Core. Sonic UI自动化Driver核心。

• UpdatedMar 25, 2025
• Java

Reactive + Automaton + VTree in Swift, inspired by Elm.

• UpdatedFeb 13, 2019
• Swift

Elm/React.js-like architecture in Swift, powered by ReactiveSwift and LayoutKit.

• UpdatedJan 15, 2017
• Swift

A Python package for automata theory.

• UpdatedJan 17, 2024
• Python

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

• UpdatedAug 28, 2023
• Python

An implementation of the LSTAR Grammatical Inference Algorithm

• UpdatedMar 12, 2024
• Python

Goal-Oriented Action Planning implementation in Python

• UpdatedApr 30, 2025
• Python

An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)

• UpdatedMar 7, 2023
• TypeScript

The jBPT code library is a compendium of technologies that support research on design, execution, and evaluation of business processes. The library offers a broad range of basis analysis and utility functionality and, due to its open publishing model, can easily be extended.

• UpdatedAug 20, 2025
• Java

VATA Tree Automata Library

• UpdatedAug 14, 2024
• Roff

A toy deadlock detector written in Go. 🔍

• UpdatedApr 23, 2020
• Go