Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with automaton
A curated list of projects in awesome lists tagged with automaton .
https://github.com/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
Last synced: 16 Dec 2024
https://github.com/wojciechmula/pyahocorasick
Python module (C extension and plain python) implementing Aho-Corasick algorithm
aho-corasick automaton string-manipulation trie
Last synced: 15 Dec 2024
https://github.com/WojciechMula/pyahocorasick
Python module (C extension and plain python) implementing Aho-Corasick algorithm
aho-corasick automaton string-manipulation trie
Last synced: 31 Oct 2024
https://github.com/inamiy/rxautomaton
π€ RxSwift + State Machine, inspired by Redux and Elm.
automaton elm redux rxswift state-machine swift
Last synced: 29 Sep 2024
https://github.com/inamiy/RxAutomaton
π€ RxSwift + State Machine, inspired by Redux and Elm.
automaton elm redux rxswift state-machine swift
Last synced: 06 Dec 2024
https://github.com/inamiy/Harvest
πΎ Harvest: Apple's Combine.framework + State Machine, inspired by Elm.
automaton combine-framework elm redux state-machine swift
Last synced: 16 Nov 2024
https://github.com/inamiy/harvest
πΎ Harvest: Apple's Combine.framework + State Machine, inspired by Elm.
automaton combine-framework elm redux state-machine swift
Last synced: 29 Sep 2024
https://github.com/tinkerspy/Automaton
Reactive State Machine Framework for Arduino
Last synced: 25 Oct 2024
https://github.com/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
Last synced: 19 Nov 2024
https://github.com/inamiy/reactiveautomaton
π€ ReactiveCocoa + State Machine, inspired by Redux and Elm.
automaton elm reactivecocoa redux state-machine swift
Last synced: 29 Sep 2024
https://github.com/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
Last synced: 18 Dec 2024
https://github.com/inamiy/swiftelm
Reactive + Automaton + VTree in Swift, inspired by Elm.
automaton elm metaprogramming react reactive state-machine swift virtual-dom
Last synced: 07 Nov 2024
https://github.com/inamiy/zelkova
Elm/React.js-like architecture in Swift, powered by ReactiveSwift and LayoutKit.
automaton elm layoutkit reactiveswift state-machine swift
Last synced: 07 Nov 2024
https://github.com/reinforz/fauton
An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)
automaton cfg cnf cyk-algorithm dfa epsilon-nfa finite-automata ll1-parser lr1-parser nfa nfa-to-dfa-conversion parser regex typescript
Last synced: 16 Nov 2024
https://github.com/devorein/fauton
An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)
automaton cfg cnf cyk-algorithm dfa epsilon-nfa finite-automata ll1-parser lr1-parser nfa nfa-to-dfa-conversion parser regex typescript
Last synced: 10 Dec 2024
https://github.com/y-taka-23/ddsv-go
A toy deadlock detector written in Go. π
automaton deadlock formal-methods formal-verification go golang graphviz model-checking state-machine
Last synced: 24 Nov 2024
https://github.com/nazavode/automaton
A minimal Python finite-state machine.
automata automaton finite-state-machine pythonic
Last synced: 13 Nov 2024
https://github.com/ehwan/rustylr
GLR, LR(1) LALR(1) parser generator for Rust with custom reduce action
automata automaton bison code-generation compiler compiler-compiler deterministic-finite-automata dfa glr glr-parser lalr-parser lalr1 lr1 lr1-parser non-deterministic-finite-automaton parser parser-generator rust rust-lang yacc
Last synced: 27 Oct 2024
https://github.com/aldanor/leventrie
Levenshtein distance implementation using an automaton and a trie for fast string similarity searching
automaton cpp levenshtein-distance python trie
Last synced: 19 Nov 2024
https://github.com/iomonad/carnifex
Conway's Game of Life automaton written in Common Lisp using SDL for graphic rendering.
Last synced: 10 Nov 2024
https://github.com/jakubriegel/putflap
Extension of JFLAP. Provides command line interface, automaton and words generation and JSON results. Written in Kotlin.
automaton cli formal-languages jflap json
Last synced: 06 Dec 2024
https://github.com/ingenious-c0der/beluga
An esoteric programming language based on Turing Machines
automata automaton beluga cpp esoteric-programming-language fsm language-modeling regex-engine turing-machine turing-machine-executor turing-machine-simulator
Last synced: 24 Oct 2024
https://github.com/eric11eca/automatonstudio
Toolbox for automaton theory, language theory, lambda calculus, propositional logic, and formal semantics. Including simulations, applications, parsers, and algorithm implementations.
automaton context-free-grammar finite-automaton-simulator finite-state-machine lambda-calculus propositional-logic regular-expression turing-machine-simulator
Last synced: 21 Nov 2024
https://github.com/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
Last synced: 30 Oct 2024
https://github.com/catseye/smetana
A pathological little self-modifying language
automaton esolang self-modifying-code
Last synced: 15 Nov 2024
https://github.com/indoqa/indoqa-fsa
Developer friendly API to use the Morphologic FSA
automaton fsa indoqa-library java
Last synced: 11 Nov 2024
https://github.com/marcosspessatto/lexical-analyzer-java
automaton java lexical-analysis
Last synced: 07 Nov 2024
https://github.com/gustawlippa/qfa
Quantum Finite Automata simulators implementations in Python.
automata automaton finite-automata quantum quantum-computing
Last synced: 11 Nov 2024
https://github.com/phillbush/automata.scm
implementation of automata in r7rs scheme
automata automaton finite-state-machine r7rs r7rs-scheme regular-expression regular-expressions scheme thompson-algorithm thompson-construction
Last synced: 22 Nov 2024
https://github.com/lpapailiou/fac
A toy programming language including jflex scanner, cup parser and semantic validation. Executably by console and by gui (a toy-IDE).
automaton bnf compiler-construction cup flex flex-cup formal-language interpreter java java-8 javafx javafx-application jflex parser programming-language regex theoretical-computer-science toy-language
Last synced: 09 Dec 2024
https://github.com/ged/pushdown
A pushdown automaton toolkit for Ruby.
automaton pushdown-automaton state-machine
Last synced: 18 Dec 2024
https://github.com/anshulahuja98/pi_assistant
Room Automation using Google Assistant on Raspberry Pi
automaton google-assistant-sdk python3 raspberry-pi
Last synced: 23 Nov 2024
https://github.com/mmgrant73/gameoflife
It is a zero-player game invented by John Horton Conway in the 1970. It was used to see how complex behavior can arise from a simple rule set. It is It is a form of cellular automaton (a discrete model studied in computer science)
automaton john-horton-conway life processing-language python python3
Last synced: 10 Nov 2024
https://github.com/jmbhughes/automaton
an implementation of the ulam-warburton automaton with variations
automaton cellular-automata cellular-automaton discrete-mathematics
Last synced: 16 Nov 2024
https://github.com/catseye/xigxag
A string-copying automaton that almost always blows up exponentially
Last synced: 15 Nov 2024
https://github.com/nqpz/graffito
A small stencil framework for quick design and visualization
Last synced: 21 Nov 2024
https://github.com/bl00mber/cellular-automata
Generator of one-dimensional cellular automatons
automata automaton cellular computation rule30
Last synced: 04 Dec 2024
https://github.com/sskender/automata-theory
Introduction to automata theory, languages and computation
automata automaton dfa dfa-minimization epsilon-nfa fer nfa pushdown-automata pushdown-automaton
Last synced: 28 Nov 2024
https://github.com/zpcore/acow
Applied Formal Methods.
automaton compiler dfs model-checking mtl
Last synced: 15 Dec 2024
https://github.com/valkryst/vparser_cfg
A library to parse and run Context Free Grammars.
automaton cfg cfg-rules context-free-grammar grammar transition
Last synced: 06 Nov 2024
https://github.com/melgoharyme/finite-automaton-acceptance-checker
This repository contains a Python program for checking the acceptability of strings in a Finite State Machine (FSM). The program allows users to define the FSM by providing the number of states, inputs, transitions, and final states. It then evaluates user-provided strings to determine if they are acceptable within the specified FSM.
automaton finite-automaton finite-automaton-comparator finite-automaton-simulator formal-languages formal-languages-and-automata formal-languages-compilers
Last synced: 19 Nov 2024
https://github.com/p4ul-m/otomato-finito
Program to determinize, standardize, complete or minimize automaton
Last synced: 07 Dec 2024
https://github.com/aryan02420/finite-state-machine
automaton finite-state-machine fsm functional-programming
Last synced: 29 Nov 2024
https://github.com/catseye/noit-o-mnain-worb
MIRROR of https://codeberg.org/catseye/noit-o-mnain-worb : A pressure-based probabilistic particle automaton
automaton brownian-motion esolang esoteric-language particle-automaton particle-simulation
Last synced: 15 Nov 2024
https://github.com/memgonzales/turing-machine-variants
Interactive website for simulating variants of finite automata, Turing machines with 2D tapes, and k-queue automata
automata automata-simulator automata-theory automaton finite-automata finite-automaton finite-automaton-simulator pushup-counter turing-machine turing-machine-simulator
Last synced: 19 Nov 2024
https://github.com/zac-garby/automaton
Cellular Automaton Library for Haskell
Last synced: 17 Dec 2024
https://github.com/josemavarez11/regular-expressions-validator
C++ console program for validating regular expressions
automaton compiler-design cplusplus regular-expressions validator
Last synced: 17 Nov 2024
https://github.com/yodhevauhe/yt-link-download
Copy and paste Youtube video link to download audio or video, you can also select a segement in video or audio you want to download.
automaton python streamlit streamlit-application streamlit-webapp
Last synced: 21 Dec 2024
https://github.com/dpbm/turing-machine
A turing machine automaton based library for studies.
alan-turing automaton bash computer-science finite-state-machine formal-languages gh-packages gradle java junit maven opensuse ossrh shell studies suse tests turing turing-machine university
Last synced: 18 Nov 2024
https://github.com/dpbm/afd
A software to generate and test deterministic finite automaton
automaton automatos c exercise faculdade homework university
Last synced: 18 Nov 2024
https://github.com/kodesun/sfml-gameoflife
Conway's cellular automaton, 'Game Of Life', created using C++'s SFML library. ππΎπ
automaton conways-game-of-life sfml-game
Last synced: 15 Nov 2024
https://github.com/fsvieira/fsalib
Simple finite state automaton, with some advanced operations.
automata automaton clean determinism fsa intersection json minimization subtract union
Last synced: 07 Nov 2024
https://github.com/ivaaane/conway
Tiny Conway's Game of Life implementation in C
automaton c cellular-automaton cli conway game-of-life life terminal
Last synced: 13 Dec 2024
https://github.com/phillbush/automata.pic
troff's pic(1) macros to draw finite-state machines
automata automaton finite-state-machine pic troff
Last synced: 22 Nov 2024
https://github.com/chamale-rac/automaton-server
Automaton tools. Algorithms and API.
Last synced: 27 Nov 2024
https://github.com/deanhdz/compiladores-proyecto-equipo_deanosaurios
Proyecto de la materia de Compiladores
afd afn automaton lexical-analysis lr-parser lr0 lr0-parser syntax-analysis syntax-tree
Last synced: 12 Dec 2024
https://github.com/rileyjshaw/ca-finder
:bug: A cellular automaton simulator running as a shader on your GPU
automaton cellular gpgpu shader simulation
Last synced: 05 Dec 2024
https://github.com/mateusjunges/afd
Implementation of and AFD (Deterministic Finit Automaton) for the Formal Languages and Compilers grade - Computer Engineering @ UEPG
afd automaton compilers formal-languages python
Last synced: 18 Nov 2024
https://github.com/elandeyan/formal_languages
A dart package with formal languages to recognize strings.
automaton dart dart-library dart-package dartlang formal-languages
Last synced: 14 Nov 2024
https://github.com/mvaibhav131/cypress
cypress frontend testing
automaton cypress cypress-tests e2e-testing expressjs reactjs testing unit-testing
Last synced: 14 Nov 2024
https://github.com/magnetrwn/margolus-cpp
Reversible cellular automaton simulator for Margolus neighborhood automata: from billiard ball, to gas diffusion, tron, and critters, or any other ruleset possible.
automata automaton cellular-automaton command-line configurable library render reversible
Last synced: 11 Nov 2024
https://github.com/aikosiadotcom/automaton-cli
Command Line Interface (CLI) Of Automaton Framework
aikosia automation automaton bot chromium cli command-line-tool framework javascript playwright puppeteer
Last synced: 16 Nov 2024
https://github.com/aikosiadotcom/automaton-core
Core Libraries Of Automaton Framework
aikosia automation automaton bot chromium ecmascript framework javascript nodejs playwright puppeteer typescript
Last synced: 16 Nov 2024