The Wayback Machine - https://web.archive.org/web/20220306203301/https://github.com/topics/automata

#

automata

Here are 513 public repositories matching this topic...

rust-lang / regex

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

rust automata regex regexp nfa automaton regular-expressions dfa regex-engine regex-syntax regex-parser

Updated Mar 3, 2022
Rust

katef / libfsm

Sponsor

DFA regular expression library & friends

automata regexes fsm compiler regex regexp lex finite-state-machine lexer lexical-analysis compilers lexing compiler-principles lexer-generator nfa regex-validator finite-state-automata finite-state-machines dfa

Updated Jan 24, 2022
C

stateless4j / stateless4j

Lightweight Java State Machine

java automata fsm transition finite-state-machine state-machines fsm-library hierarchical-states

Updated Jan 24, 2022
Java

netzob / netzob

Netzob: Protocol Reverse Engineering, Modeling and Fuzzing

python automata network reverse-engineering fuzzing protocols traffic-generation zoby

Updated Feb 22, 2022
Python

statecharts / statecharts.github.io

There is no state but what we make. Feel free to pitch in.

automata fsm state-machine statechart finite-state-machine

Updated Oct 30, 2021
HTML

BurntSushi / regex-automata

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

rust automata regex regexp text-processing nfa automaton dfa regex-engine

Updated Mar 2, 2022
Rust

fgmacedo / python-statemachine

Python Finite State Machines made easy.

python automata state-machine finite-state-machine statemachine hacktoberfest

Updated Nov 15, 2021
Python

leonardomso / awesome-fsm

🤖 A curated list of awesome resources related to finite state machines and statecharts.

automata state-machine finite-state-machine statecharts xstate

Updated Jan 1, 2022
JavaScript

hokein / Automata.js

A regular expression converter

javascript automata regular-expression

Updated Dec 17, 2021
JavaScript

caleb531 / automata

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

python automata fsm finite-state-machine turing-machine automaton turing-machines yields pushdown-automata automaton-subtype

Updated Feb 3, 2022
Python

ArchonInteractive / SwissArmyLib

Collection of helpful utilities we use in our Unity projects.

gamedev events automata performance utilities state-machine unity optimization game-development unity3d optimize unity3d-plugin gamedev-library object-pool pushdown-automaton timers service-locator pooling unity-library

Updated Oct 20, 2019
C#

brucou / kingly

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

javascript automata library state-machine functional-programming portable architecture automaton transducer microfrontends hierarchical-machine state-transducer

Updated Oct 29, 2021
JavaScript

izuzak / noam

JavaScript library for working with automata and grammars for regular and context-free languages

javascript automata grammars fsms regexes noam coverage grunt noam-lib coverage-reports testing-webapps

Updated Feb 2, 2022
JavaScript

Wayeb

ElAlev / Wayeb

Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.

automata scala cep regular-expression stream-processing forecasting complex-event-processing markov-models symbolic-automata complex-event-forecasting

Updated Jul 15, 2021
Scala

upstarter / automata

Sponsor

Open

Turn WorldConfig into a struct.

upstarter commented May 20, 2020

In lib/automata/automata.ex.

So we can use embedded schema without a database, and eventually probably also make automaton_config a struct too

Read more

good first issue

Open

Add Factories / Fixtures

Open

Add Ecto embedded_schema for `Automaton.Types.BT.Config` struct

Find more good first issues

ultimate-pa / ultimate

The Ultimate program analysis framework.

automata ltl reachability model-checking software-analysis program-analysis termination

Updated Mar 6, 2022
Java

rustype / typestate-rs

Proc-macro typestate DSL for Rust

rust automata state-machine dsl macro typestate

Updated Feb 28, 2022
Rust

Garvys / rustfst

Rust re-implementation of OpenFST - library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs).

Updated Feb 25, 2022
Rust

tulip-control / tulip-control

Temporal Logic Planning toolbox

python automata state-machine verification specification abstraction synthesis temporal-logic control-systems hybrid-systems feedback-systems

Updated Mar 5, 2022
Python

katydid / katydid

Encoding Agnostic Validation (Validation Language, Parsers and Encoders)

go serialization converter parser automata schema validation encoder nested-structures

Updated Jan 25, 2022
Go

JHonaker / wireworld-nim

An implementation of Wireworld (Cellular Automata) in Nim using SDL2

automata nim sdl2

Updated Jun 6, 2017
Nim

nppoly / cyac

High performance Trie and Ahocorasick automata (AC automata) Keyword Match & Replace Tool for python

search nlp automata search-in-text cython trie data-extraction keyword-extraction double-array-trie

Updated Dec 11, 2020
Python

LearnLib / automatalib

A free, open-source Java library for modeling automata, graphs, and transition systems

java automata graph java-library transition-systems

Updated Feb 20, 2022
Java

breandan / kaliningraph

Sponsor

🕸️ A graph based IR in Kotlin

kotlin automata functional graph graph-algorithms graphs linear-algebra graph-theory induction graph-grammars graph-matching adjacency-matrix graph-visualizations graph-transformation arithmetic-circuits functional-graphs

Updated Mar 6, 2022
Kotlin

AALpy

DES-Lab / AALpy

An Active Automata Learning Library Written in Python

automata markov-chain finite-state-machine markov-decision-processes dfa model-based-testing test-case-generation probabilistic-automata automata-learning lstar equivalence-oracles alergia

Updated Mar 4, 2022
Python

ph4r05 / php_aho_corasick

Aho-Corasick string search algorithm PHP extension implementation.

php automata algorithm php7 php-extension php5 pecl aho-corasick hacktoberfest string-matching

Updated Oct 8, 2020
C

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 finite-state-machine nfa automaton dfa

Updated Dec 19, 2021
Python

tterrasson / glider

Generative music using conway's game of life

music automata life conway-game cellular 2d glider

Updated Feb 15, 2022
JavaScript

fffaraz / DFA

Deterministic Finite Automata in C++, Token Parser & Lexer

c-plus-plus parser automata compiler finite-state-machine lexer finite-state-automata finite-state-machines dfa

Updated Jan 28, 2013
C++

tulip-control / omega

Specify and synthesize systems using symbolic algorithms

python automata symbolic synthesis temporal-logic streett rabin bitvector logic-minimization

Updated Oct 12, 2021
Python

Improve this page

Add a description, image, and links to the automata topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the automata topic, visit your repo's landing page and select "manage topics."