automaton

There are 4 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.

  regexregexpregular-expressionsregex-engineregex-syntaxregex-parserrustdfanfaautomataautomaton
  Language:Rust 3823

• WojciechMula / pyahocorasick

  Python module (C extension and plain python) implementing Aho-Corasick algorithm

  aho-corasickautomatonstring-manipulationtrie
  Language:C 1040

• inamiy / RxAutomaton

  🤖 RxSwift + State Machine, inspired by Redux and Elm.

  rxswiftstate-machinereduxswiftelmautomaton
  Language:Swift 713
• automata

  caleb531 / automata

  A Python library for simulating finite automata, pushdown automata, and Turing machines

  turing-machinesturing-machineautomatafsmpythonfinite-state-machinepushdown-automataautomaton
  Language:Python 390

• tinkerspy / Automaton

  Reactive State Machine Framework for Arduino

  arduinoautomaton
  Language:C++ 382

• inamiy / Harvest

  🌾 Harvest: Apple's Combine.framework + State Machine, inspired by Elm.

  combine-frameworkstate-machinereduxelmswiftautomaton
  Language:Swift 381

• BurntSushi / regex-automata

  A low level regular expression library that uses deterministic finite automata.

  automataautomatondfanfaregexregex-engineregexprusttext-processing
  Language:Rust 350

• inamiy / ReactiveAutomaton

  🤖 ReactiveCocoa + State Machine, inspired by Redux and Elm.

  reactivecocoastate-machinereduxelmswiftautomaton
  Language:Swift 207

• brucou / kingly

  Zero-cost state-machine library for robust, testable and portable user interfaces (most machines compile ~1-2KB)

  automataautomatontransducerstate-machinefunctional-programmingjavascriptlibraryhierarchical-machinestate-transducerportablemicrofrontendsarchitecture
  Language:JavaScript 204

• SonicCloudOrg / sonic-driver-core

  🎉The Sonic UIAutomation Driver Core. Sonic UI自动化Driver核心。

  automatonjavauiautomator2wdawda-java-clientwebdriverwebdriveragent
  Language:Java 155

• inamiy / SwiftElm

  Reactive + Automaton + VTree in Swift, inspired by Elm.

  elmautomatonswiftvirtual-domreactivestate-machinereactmetaprogramming
  Language:Swift 102

• inamiy / Zelkova

  Elm/React.js-like architecture in Swift, powered by ReactiveSwift and LayoutKit.

  automatonelmreactiveswiftswiftlayoutkitstate-machine
  Language:Swift 69

• whitemech / pythomata

  A Python package for automata theory.

  automatonautomataautomata-theorydfadfa-minimizationdfa-constructiondfa-minimizernfanfa2dfadeterminizerdeterministic-finite-automatanondeterministic-finite-automatasymboliclanguages-and-automatasymbolic-automata
  Language:Python 58

• lewiuberg / visual-automata

  Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.

  pythonautomatafsmdfafinite-state-machineautomatonnfaarchiveddeprecatedobsolete
  Language:Python 57

• gbossert / pylstar

  An implementation of the LSTAR Grammatical Inference Algorithm

  automatongrammatical-inference-algorithmprotocolstate-machine
  Language:Python 51

• leopepe / GOApy

  Goal-Oriented Action Planning implementation in Python

  goappythonplanningartificial-intelligenceplanning-algorithmsaiautomationautomaton
  Language:Python 49

• Devorein / fauton

  An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)

  dfatypescriptautomatonnfanfa-to-dfa-conversionepsilon-nfafinite-automataregexcfgcnfcyk-algorithmll1-parserparserlr1-parser
  Language:TypeScript 41

• 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.

  processpetri-netepcevent-driven-process-chainbpmnrpstrefined-process-structure-treeunfoldinguntanglinggraphhypergraphautomatonmdtreemodular-decomposition-treebehavioral-profile
  Language:Java 34

• ondrik / libvata

  VATA Tree Automata Library

  automatatree-automatac-plus-plusautomatonverificationunionlanguage
  Language:Roff 33

• y-taka-23 / ddsv-go

  A toy deadlock detector written in Go. 🔍

  gogolangstate-machineautomatonmodel-checkingformal-methodsformal-verificationdeadlockgraphviz
  Language:Go 30

• grockious / deepsynth

  DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning

  automatondeep-learningformal-languagesformal-modelsmontezuma-revengereinforcement-learning
  Language:Python 22

• nazavode / automaton

  A minimal Python finite-state machine.

  automataautomatonfinite-state-machinepythonic
  Language:Python 22

• contificate / lr

  An interactive tool for experimenting with LR(1) grammars

  lrparsingautomaton
  Language:OCaml 20

• 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.

  fstcppcpp11dictionarymmapsearch-engineelasticsearchlucenelevenshteinautomatondamerau-levenshteinlru-cachelfu-cachelarge-filesexternal-merge-sortdfautf8memory-management
  Language:C++ 15

• l-Legacy-l / S7-PLC-Monitor

  An Android application to monitor and remotely control two industrial processes (S7 PLC)

  androidplcs7-plcautomatonsiemensmonitoringprocessimsimatic
  Language:Java 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.

  rpaautomatonblueprismuipath
  12

• marfvr / pdfa-learning

  Implementation of PDFAs and PDFA learning algorithm.

  automataautomatonpacpac-learningpdfapfaprobabilistic-automataprobabilistic-automaton
  Language:Python 11

• almondtools / rexlex

  Regular Expressions and Lexing with DFAs

  regular-expressionsregular-expressiondfalexer-generatorautomatonjavaregexregex-engineregular-expression-engine
  Language:Java 10

• julianthome / autorex

  A dk.brics FSM to regular-expression-string converter

  automatonregular-expressionstate-eliminationtransformationstranslation
  Language:Java 10

• Bros-WhoCode / ultimate-cellular-automaton

  Simulating Cellular Automaton

  automatoncellcellularcellular-automatacellular-automatonjavascript-gamereactreact-gamereactjssudoku-solver
  Language:JavaScript 9
• GameOfLife

  DennisSc / GameOfLife

  Implementation of the famous "Game of Life" algorithm (cellular automata discovered by John Horton Conway) as WinForms-app in C#

  gameoflifeconways-game-of-lifeconway-gameconway-lifegamecellular-automatacellular-automatonconwaysgameoflifeautomatonautomataautomata-simulator
  Language:C# 9

• amir-azari / DFA-Minimizer-JavaFX

  A JavaFX-based tool for visualizing, editing, and minimizing DFAs (Deterministic Finite Automata), enabling users to efficiently create, optimize, and work with state machines in a user-friendly interface.

  automata-theoryautomatondfadfa-minimizationdfa-minimizerfinite-automatagraph-theoryjavajavafxminimizationstate-machineconverterdfa-converteralgorithmdeterministic-finite-automatavisualization
  Language:Java 8

• bmoyer / python-dpda

  Python Deterministic Push Down Automaton

  pdaautomatonlanguagepush-down
  Language:Python 8

• dongyx / libaca

  C Library of Aho-Corasick Algorithm based on Coordinate Hash Trie

  aho-corasickaho-corasick-algorithmaho-corasick-automatonalgorithmautomatondata-structurefgreppattern-matchingstringstring-matchingtrie
  Language:C 8

• ZigRazor / CXXAutomata

  A C++ library for simulating automata and Turing machines

  automataautomata-theoryautomata-simulatorautomatasautomata-learningautomata-machines-simulatorautomata-processorautomatonturing-machinedeterministic-finite-automatondeterministic-turing-machinenon-deterministic-finite-automatonfinite-automatonnon-deterministic-turing-machinepushdown-automatondpdacppcpp-libcpp-libraryhacktoberfest
  Language:C++ 8

• khan-tahir / Vision-Assisted-Robotic-Arm

  This project is a fusion of robotics and computer vision, utilizing Arduino Uno R3 and OpenCV to automate object sorting by color. It showcases innovative technology while emphasizing our commitment to sustainability and responsible innovation.

  computer-visionintegrationroboticssustainabilityautomatonsmartsystem
  Language:C++ 7