Rust re-implementation of OpenFST - library for constructing, combining,...
Proc-macro typestate DSL for Rust
Temporal Logic Planning toolbox
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
Encoding Agnostic Validation (Validation Language, Parsers and Encoders)
High performance Trie and Ahocorasick automata (AC automata) Keyword Mat...
A free, open-source Java library for modeling automata, graphs, and tran...
An implementation of Wireworld (Cellular Automata) in Nim using SDL2
A place for automata
Generate 3D cellular automata
Visual Automata is a Python 3 library built as a wrapper for the Automat...
A Python package for automata theory.
Aho-Corasick string search algorithm PHP extension implementation.
Deterministic Finite Automata in C++, Token Parser & Lexer
Specify and synthesize systems using symbolic algorithms