#

automata

Here are 568 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 Oct 15, 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 Oct 17, 2022
C

stateless4j / stateless4j

Lightweight Java State Machine

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

Updated Jul 18, 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 Oct 16, 2022
Rust

fgmacedo / python-statemachine

Python Finite State Machines made easy.

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

Updated Sep 20, 2022
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 Aug 22, 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 pushdown-automata

Updated Oct 20, 2022
Python

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

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#

izuzak / noam

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

javascript automata grammars fsms regexes

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

A comprehensive autonomous decentralized systems framework for AI control architects.

automata reinforcement-learning agents intelligent-agents heterogeneous-agents

Updated May 19, 2021
Elixir

ultimate-pa / ultimate

The Ultimate program analysis framework.

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

Updated Oct 20, 2022
Java

rustype / typestate-rs

Proc-macro typestate DSL for Rust

rust automata state-machine dsl macro typestate

Updated Oct 6, 2022
Rust

Garvys / rustfst

Rust re-implementation of OpenFST - library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs). A Python binding is also available.

Updated Oct 20, 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 Oct 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

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