automata
There are 792 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.
fgmacedo/python-statemachine
Python Finite State Machines made easy.
katef/libfsm
DFA regular expression library & friends
stateless4j/stateless4j
Lightweight Java State Machine
netzob/netzob
Netzob: Protocol Reverse Engineering, Modeling and Fuzzing
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
BurntSushi/regex-automata
A low level regular expression library that uses deterministic finite automata.
statecharts/statecharts.github.io
There is no state but what we make. Feel free to pitch in.
ultimate-pa/ultimate
The Ultimate program analysis framework.
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.
DES-Lab/AALpy
An Automata Learning Library Written in Python
garvys-org/rustfst
Rust re-implementation of OpenFST - library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs). A Python binding is also available.
upstarter/automata
A comprehensive autonomous decentralized systems framework for AI control architects.
rustype/typestate-rs
Proc-macro typestate DSL for Rust
ElAlev/Wayeb
Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.
breandan/galoisenne
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
tulip-control/tulip-control
Temporal Logic Planning toolbox
LearnLib/automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
chenkovsky/cyac
High performance Trie and Ahocorasick automata (AC automata) Keyword Match & Replace Tool for python. Correct case insensitive implementation!
hnaderi/edomata
Production ready event-driven automata for Scala, Scala.js and scala native
katydid/validator-gogo-deprecated-v0.3
Encoding Agnostic Validation (Validation Language, Parsers and Encoders)
automatarium/automatarium
A place for automata
JHonaker/wireworld-nim
An implementation of Wireworld (Cellular Automata) in Nim using SDL2
Chaoses-Ib/ib-matcher
A multilingual, flexible and fast string, glob and regex matcher. Support 拼音匹配 and ローマ字検索.
frame-lang/frame_transpiler
Frame is new progrmming language for creating state machines (automata) in Python as well as generating UML documentation.
rohaquinlop/automathon
A Python library for simulating and visualizing finite automata
tterrasson/crystal
Generate 3D cellular automata
aw-junaid/Computer-Science
Explore a collection of resources and projects in Computer Science, covering algorithms, data structures, programming languages, and emerging technologies. Ideal for learners and enthusiasts looking to enhance their knowledge and skills in the field
whitemech/pythomata
A Python package for automata theory.
lewiuberg/visual-automata
Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
blenderskool/vyaakaran
📜 Visualize formal languages and automata
Aunsiels/pyformlang
A python library to manipulate formal languages and various automata