automaton

There are 3 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 3472
WojciechMula / pyahocorasick
Python module (C extension and plain python) implementing Aho-Corasick algorithm
string-manipulation automaton aho-corasick trie
Language:C 933
inamiy / RxAutomaton
🤖 RxSwift + State Machine, inspired by Redux and Elm.
rxswift state-machine redux swift elm automaton
Language:Swift 715
inamiy / Harvest
🌾 Harvest: Apple's Combine.framework + State Machine, inspired by Elm.
automaton combine-framework elm redux state-machine swift
Language:Swift 385
tinkerspy / Automaton
Reactive State Machine Framework for Arduino
arduino automaton
Language:C++ 369
BurntSushi / regex-automata
A low level regular expression library that uses deterministic finite automata.
automata automaton dfa nfa regex regex-engine regexp rust text-processing
Language:Rust 351
automata
caleb531 / automata
A Python library for simulating finite automata, pushdown automata, and Turing machines
automata automaton finite-state-machine fsm pushdown-automata python turing-machine turing-machines
Language:Python 338
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)
architecture automata automaton functional-programming hierarchical-machine javascript library microfrontends portable state-machine state-transducer transducer
Language:JavaScript 201
SonicCloudOrg / sonic-driver-core
🎉The Sonic UIAutomation Driver Core. Sonic UI自动化Driver核心。
java uiautomator2 wda webdriver automaton webdriveragent wda-java-client
Language:Java 147
inamiy / SwiftElm
Reactive + Automaton + VTree in Swift, inspired by Elm.
automaton elm metaprogramming react reactive state-machine swift virtual-dom
Language:Swift 102
inamiy / Zelkova
Elm/React.js-like architecture in Swift, powered by ReactiveSwift and LayoutKit.
automaton elm reactiveswift swift layoutkit state-machine
Language:Swift 69
lewiuberg / visual-automata
Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
archived automata automaton deprecated dfa finite-state-machine fsm nfa obsolete python
Language:Python 56
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 53
gbossert / pylstar
An implementation of the LSTAR Grammatical Inference Algorithm
state-machine protocol grammatical-inference-algorithm automaton
Language:Python 49
leopepe / GOApy
Goal-Oriented Action Planning implementation in Python
goap python planning artificial-intelligence planning-algorithms ai automation automaton
Language:Python 44
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 32
ondrik / libvata
VATA Tree Automata Library
automata tree-automata c-plus-plus automaton verification union language
Language:Roff 31
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 29
nazavode / automaton
A minimal Python finite-state machine.
automata finite-state-machine automaton pythonic
Language:Python 22
grockious / deepsynth
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
automaton deep-learning formal-languages formal-models montezuma-revenge reinforcement-learning
Language:Python 18
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
contificate / lr
An interactive tool for experimenting with LR(1) grammars
automaton lr parsing
Language:OCaml 13
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 12
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
marcofavorito / pdfa-learning
Implementation of PDFAs and PDFA learning algorithm.
automata automaton probabilistic-automata probabilistic-automaton pfa pdfa pac pac-learning
Language:Python 11
julianthome / autorex
A dk.brics FSM to regular-expression-string converter
state-elimination regular-expression automaton transformations translation
Language:Java 10
almondtools / rexlex
Regular Expressions and Lexing with DFAs
regular-expressions regular-expression dfa lexer-generator automaton java regex regex-engine regular-expression-engine
Language:Java 9
ehwan / RustyLR
GLR, LR(1) LALR(1) parser generator for Rust with custom reduce action
code-generation compiler lr1-parser parser parser-generator yacc lalr1 compiler-compiler lr1 automata automaton dfa lalr-parser deterministic-finite-automata rust rust-lang bison glr glr-parser non-deterministic-finite-automaton
Language:Rust 9
bmoyer / python-dpda
Python Deterministic Push Down Automaton
pda automaton language 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# 8
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
ZigRazor / CXXAutomata
A C++ library for simulating automata and Turing machines
automata automata-theory automata-simulator automatas automata-learning automata-machines-simulator automata-processor automaton turing-machine deterministic-finite-automaton deterministic-turing-machine non-deterministic-finite-automaton finite-automaton non-deterministic-turing-machine pushdown-automaton dpda cpp cpp-lib cpp-library hacktoberfest
Language:C++ 6