automaton

There are 2 repositories under automaton topic.

rust-lang / regex
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
automata automaton dfa nfa regex regex-engine regex-parser regex-syntax regexp regular-expressions rust
Language:Rust 3366
WojciechMula / pyahocorasick
Python module (C extension and plain python) implementing Aho-Corasick algorithm
aho-corasick automaton string-manipulation trie
Language:C 894
inamiy / RxAutomaton
🤖 RxSwift + State Machine, inspired by Redux and Elm.
automaton elm redux rxswift state-machine swift
Language:Swift 718
inamiy / Harvest
🌾 Harvest: Apple's Combine.framework + State Machine, inspired by Elm.
combine-framework state-machine redux elm swift automaton
Language:Swift 384
tinkerspy / Automaton
Reactive State Machine Framework for Arduino
arduino automaton
Language:C++ 367
BurntSushi / regex-automata
A low level regular expression library that uses deterministic finite automata.
regex dfa automata text-processing regexp regex-engine rust nfa automaton
Language:Rust 353
automata
caleb531 / automata
A Python library for simulating finite automata, pushdown automata, and Turing machines
turing-machines turing-machine automata fsm python finite-state-machine pushdown-automata automaton
Language:Python 316
inamiy / ReactiveAutomaton
🤖 ReactiveCocoa + State Machine, inspired by Redux and Elm.
reactivecocoa state-machine redux elm swift automaton
Language:Swift 207
brucou / kingly
Zero-cost state-machine library for robust, testable and portable user interfaces (most machines compile ~1-2KB)
automata automaton transducer state-machine functional-programming javascript library hierarchical-machine state-transducer portable microfrontends architecture
Language:JavaScript 195
SonicCloudOrg / sonic-driver-core
🎉The Sonic UIAutomation Driver Core. Sonic UI自动化Driver核心。
java uiautomator2 wda webdriver automaton webdriveragent wda-java-client
Language:Java 140
inamiy / SwiftElm
Reactive + Automaton + VTree in Swift, inspired by Elm.
elm automaton swift virtual-dom reactive state-machine react metaprogramming
Language:Swift 100
inamiy / Zelkova
Elm/React.js-like architecture in Swift, powered by ReactiveSwift and LayoutKit.
automaton elm reactiveswift swift layoutkit state-machine
Language:Swift 68
lewiuberg / visual-automata
Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
python automata fsm dfa finite-state-machine automaton nfa archived deprecated obsolete
Language:Python 56
gbossert / pylstar
An implementation of the LSTAR Grammatical Inference Algorithm
state-machine protocol grammatical-inference-algorithm automaton
Language:Python 51
whitemech / pythomata
A Python package for automata theory.
automaton automata automata-theory dfa dfa-minimization dfa-construction dfa-minimizer nfa nfa2dfa determinizer deterministic-finite-automata nondeterministic-finite-automata symbolic languages-and-automata symbolic-automata
Language:Python 50
leopepe / GOApy
Goal-Oriented Action Planning implementation in Python
goap python planning artificial-intelligence planning-algorithms ai automation automaton
Language:Python 43
Reinforz / fauton
An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)
dfa typescript automaton nfa nfa-to-dfa-conversion epsilon-nfa finite-automata regex cfg cnf cyk-algorithm ll1-parser parser lr1-parser
Language:TypeScript 42
jbpt / codebase
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.
process petri-net epc event-driven-process-chain bpmn rpst refined-process-structure-tree unfolding untangling graph hypergraph automaton mdtree modular-decomposition-tree behavioral-profile
Language:Java 30
ondrik / libvata
VATA Tree Automata Library
automata tree-automata c-plus-plus automaton verification union language
Language:Roff 29
y-taka-23 / ddsv-go
A toy deadlock detector written in Go. 🔍
go golang state-machine automaton model-checking formal-methods formal-verification deadlock graphviz
Language:Go 28
nazavode / automaton
A minimal Python finite-state machine.
automata automaton finite-state-machine pythonic
Language:Python 22
grockious / deepsynth
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
deep-learning reinforcement-learning montezuma-revenge formal-languages formal-models automaton
Language:Python 17
apollo008 / orchid-fst
This project Orchid-Fst implements a fast text string dictionary search data structure: Finite state transducer (short for FST) in c++ language.This FST C++ open source project has much significant advantages.
fst cpp cpp11 dictionary mmap search-engine elasticsearch lucene levenshtein automaton damerau-levenshtein lru-cache lfu-cache large-files external-merge-sort dfa utf8 memory-management
Language:C++ 14
rameshagowda / Robotic-Process-Automation-RPA-
Automation of desktop, web, mainframe and citrix based processes using RPA tools such as BluePrism, PegaRobotics, Automaton Anywhere and UiPath.
rpa automaton blueprism uipath
12
contificate / lr
An interactive tool for experimenting with LR(1) grammars
lr parsing automaton
Language:OCaml 11
julianthome / autorex
A dk.brics FSM to regular-expression-string converter
state-elimination regular-expression automaton transformations translation
Language:Java 10
l-Legacy-l / S7-PLC-Monitor
An Android application to monitor and remotely control two industrial processes (S7 PLC)
android plc s7-plc automaton siemens monitoring processim simatic
Language:Java 10
marcofavorito / pdfa-learning
Implementation of PDFAs and PDFA learning algorithm.
automata automaton pac pac-learning pdfa pfa probabilistic-automata probabilistic-automaton
Language:Python 10
almondtools / rexlex
Regular Expressions and Lexing with DFAs
automaton dfa java lexer-generator regex regex-engine regular-expression regular-expression-engine regular-expressions
Language:Java 9
bmoyer / python-dpda
Python Deterministic Push Down Automaton
automaton language pda push-down
Language:Python 8
Bros-WhoCode / ultimate-cellular-automaton
Simulating Cellular Automaton
cellular-automata cellular-automaton cellular reactjs react javascript-game react-game sudoku-solver cell automaton
Language:JavaScript 8
GameOfLife
DennisSc / GameOfLife
Implementation of the famous "Game of Life" algorithm (cellular automata discovered by John Horton Conway) as WinForms-app in C#
gameoflife conways-game-of-life conway-game conway-life game cellular-automata cellular-automaton conwaysgameoflife automaton automata automata-simulator
Language:C# 7
dongyx / libaca
C Library of Aho-Corasick Algorithm based on Coordinate Hash Trie
aho-corasick aho-corasick-algorithm aho-corasick-automaton algorithm automaton data-structure fgrep pattern-matching string string-matching trie
Language:C 7
aldanor / leventrie
Levenshtein distance implementation using an automaton and a trie for fast string similarity searching
levenshtein-distance automaton trie cpp python
Language:C++ 6
victorfeijo / automata
A front-end application to transform and manipulate regular-expressions in finite automatons
automaton regular-expressions react functional-js ramdajs firebase specs antdesign
Language:JavaScript 6
ZigRazor / CXXAutomata
A C++ library for simulating automata and Turing machines
automata automata-learning automata-machines-simulator automata-processor automata-simulator automata-theory automatas automaton cpp cpp-lib cpp-library deterministic-finite-automaton deterministic-turing-machine dpda finite-automaton hacktoberfest non-deterministic-finite-automaton non-deterministic-turing-machine pushdown-automaton turing-machine
Language:C++ 6