automata
There are 694 repositories under automata topic.
rust-lang/regex
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
katef/libfsm
DFA regular expression library & friends
stateless4j/stateless4j
Lightweight Java State Machine
netzob/netzob
Netzob: Protocol Reverse Engineering, Modeling and Fuzzing
fgmacedo/python-statemachine
Python Finite State Machines made easy.
BurntSushi/regex-automata
A low level regular expression library that uses deterministic finite automata.
leonardomso/awesome-fsm
🤖 A curated list of awesome resources related to finite state machines and statecharts.
caleb531/automata
A Python library for simulating finite automata, pushdown automata, and Turing machines
statecharts/statecharts.github.io
There is no state but what we make. Feel free to pitch in.
hokein/Automata.js
A regular expression converter
izuzak/noam
JavaScript library for working with automata and grammars for regular and context-free languages
brucou/kingly
Zero-cost state-machine library for robust, testable and portable user interfaces (most machines compile ~1-2KB)
ArchonInteractive/SwissArmyLib
Collection of helpful utilities we use in our Unity projects.
ultimate-pa/ultimate
The Ultimate program analysis framework.
upstarter/automata
A comprehensive autonomous decentralized systems framework for AI control architects.
DES-Lab/AALpy
An Automata Learning Library Written in Python
ElAlev/Wayeb
Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.
Garvys/rustfst
Rust re-implementation of OpenFST - library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs). A Python binding is also available.
rustype/typestate-rs
Proc-macro typestate DSL for Rust
tulip-control/tulip-control
Temporal Logic Planning toolbox
breandan/galoisenne
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
katydid/katydid
Encoding Agnostic Validation (Validation Language, Parsers and Encoders)
nppoly/cyac
High performance Trie and Ahocorasick automata (AC automata) Keyword Match & Replace Tool for python
LearnLib/automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
hnaderi/edomata
Production ready event-driven automata for Scala, Scala.js and scala native
JHonaker/wireworld-nim
An implementation of Wireworld (Cellular Automata) in Nim using SDL2
automatarium/automatarium
A place for automata
frame-lang/frame_transpiler
Frame is a markdown language for creating state machines (automata) in Python as well as generating UML documentation.
tterrasson/crystal
Generate 3D cellular automata
lewiuberg/visual-automata
Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
rohaquinlop/automathon
A Python library for simulating and visualizing finite automata
whitemech/pythomata
A Python package for automata theory.
ph4r05/php_aho_corasick
Aho-Corasick string search algorithm PHP extension implementation.
fffaraz/DFA
Deterministic Finite Automata in C++, Token Parser & Lexer
tulip-control/omega
Specify and synthesize systems using symbolic algorithms
knowsys/FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden