Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with automata
A curated list of projects in awesome lists tagged with automata .
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: 28 Sep 2024
https://github.com/katef/libfsm
DFA regular expression library & friends
automata compiler compiler-principles compilers dfa finite-state-automata finite-state-machine finite-state-machines fsm lex lexer lexer-generator lexical-analysis lexing nfa regex regex-validator regexes regexp
Last synced: 04 Aug 2024
https://github.com/stateless4j/stateless4j
Lightweight Java State Machine
automata finite-state-machine fsm fsm-library hierarchical-states java state-machines transition
Last synced: 02 Aug 2024
https://github.com/fgmacedo/python-statemachine
Python Finite State Machines made easy.
automata finite-state-machine fsm fsm-library python state state-machine state-machine-diagram state-machine-dsl state-management statemachine
Last synced: 31 Jul 2024
https://github.com/netzob/netzob
Netzob: Protocol Reverse Engineering, Modeling and Fuzzing
automata fuzzing network protocols python reverse-engineering traffic-generation zoby
Last synced: 01 Aug 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: 04 Aug 2024
https://github.com/hokein/Automata.js
A regular expression converter
automata javascript regular-expression
Last synced: 31 Jul 2024
https://github.com/archoninteractive/swissarmylib
Collection of helpful utilities we use in our Unity projects.
automata events game-development gamedev gamedev-library object-pool optimization optimize performance pooling pushdown-automaton service-locator state-machine timers unity unity-library unity3d unity3d-plugin utilities
Last synced: 28 Sep 2024
https://github.com/ArchonInteractive/SwissArmyLib
Collection of helpful utilities we use in our Unity projects.
automata events game-development gamedev gamedev-library object-pool optimization optimize performance pooling pushdown-automaton service-locator state-machine timers unity unity-library unity3d unity3d-plugin utilities
Last synced: 23 Aug 2024
https://github.com/ultimate-pa/ultimate
The Ultimate program analysis framework.
automata ltl model-checking program-analysis reachability software-analysis termination
Last synced: 04 Aug 2024
https://github.com/upstarter/automata
A comprehensive autonomous decentralized systems framework for AI control architects.
agents automata heterogeneous-agents intelligent-agents reinforcement-learning
Last synced: 04 Aug 2024
https://github.com/rustype/typestate-rs
Proc-macro typestate DSL for Rust
automata dsl macro rust state-machine typestate
Last synced: 04 Aug 2024
https://github.com/ph4r05/php_aho_corasick
Aho-Corasick string search algorithm PHP extension implementation.
aho-corasick algorithm automata hacktoberfest pecl php php-extension php5 php7 string-matching
Last synced: 28 Sep 2024
https://github.com/frame-lang/frame_transpiler
Frame is a markdown language for creating state machines (automata) in 8 programming languages as well as generating UML documentation.
automata cpp csharp frame-language gdscript golang java javascript language python3 rust state-machines
Last synced: 27 Sep 2024
https://github.com/blenderskool/vyaakaran
📜 Visualize formal languages and automata
automata compiler context-free-grammar editor ide regular-grammar turing-machine visualizer
Last synced: 01 Aug 2024
https://github.com/avyfain/automata
Companion repo for my blog post about Wolfram's elementary cellular automata
animation automata python wolfram
Last synced: 30 Jul 2024
https://github.com/katydid/katydid-haskell
An Encoding Agnostic Validation Language
automata haskell nested-structures schema validation
Last synced: 28 Sep 2024
https://github.com/harisali-git/validwebaddresses
This code does not include all valid web addresses because of several restrictions for the simplification purposes.
automata cpp toa toc validaddresses webaddress
Last synced: 01 Oct 2024
https://github.com/mehanix/dfa-nfa-acceptor
Program that loads a DFA/NFA from a file, then checks whether words given by the user are accepted by the automata.
automata computer-science deterministic-finite-automata dfa formal-languages homework homework-assignments homework-exercises nfa nondeterministic-finite-automata
Last synced: 01 Oct 2024
https://github.com/libsteve/reggie
A state machine automata simulation framework for Swift.
automata nfa nfa-library regex-engine swift swift-3 swift-framework swift3
Last synced: 28 Sep 2024
https://github.com/kevindasilvas/automata-sequences-generator
Generate sequences to test your automata via web GUI
afd afn automata automatos dfa finite-automata lfa
Last synced: 03 Oct 2024
https://github.com/mariodudjak/slotmachine
C# Windows Forms Application - Slot Machine
automata c-sharp formal-languages windowsforms
Last synced: 30 Sep 2024