All Categories → No Category → automata

Top 16 automata open source projects

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

✭ 2,125

rust RenderScript c python d shell C++regex regexp regular-expressions automata nfa automaton dfa regex-engine regex-syntax regex-parser

php aho corasick

Aho-Corasick string search algorithm PHP extension implementation.

✭ 45

c PHP C++shell Dockerfile M4 automata algorithm php-extension pecl aho-corasick hacktoberfest string-matching

Python implementation for Understanding Computation book.

✭ 22

python automata interpreter

💻Speech and Natural Language Processing (SLP & NLP) Lab Assignments for ECE NTUA

✭ 19

Jupyter Notebook python shell Makefile automata deep-learning sentiment-analysis word2vec word-embeddings attention transfer-learning attention-mechanism nlp-machine-learning lstm-neural-networks sentiment-classification openfst glove-embeddings rnn-pytorch kaldi-asr

An Active Automata Learning Library Written in Python

✭ 60

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

🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin

✭ 62

kotlin automata parsing graph graph-algorithms graphs linear-algebra graph-theory finite-state-machine finite-fields induction graph-grammars graph-matching adjacency-matrix graph-visualizations graph-transformation arithmetic-circuits functional-graphs

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

✭ 31

TeX shell automata german regular-expression teaching complexity turing-machine theoretical-computer-science propositional-logic formal-languages teaching-materials

Conway's game of life

✭ 27

python automata twitter animation conway-life conway-game conway gif twitterbot

Specify and synthesize systems using symbolic algorithms

✭ 36

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

PySimpleAutomata

Academic Python Library to manage DFA, NFA and AFW automata.

✭ 17

python automata

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

✭ 104

rust python C++automata graph tokenizer composition speech-recognition transducers kaldi transducer asr rust-crate fst openfst shortest-path finite-state-transducers kaldi-asr wfst finite-state-acceptors fsts

VATA Tree Automata Library

✭ 23

Roff C++shell python CMake awk automata verification union automaton tree-automata

Proc-macro typestate DSL for Rust

✭ 110

rust automata state-machine typestate

visual-automata

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

✭ 55

python automata fsm finite-state-machine nfa automaton dfa

frame transpiler

Frame is a markdown language for creating state machines (automata) in 8 programming languages as well as generating UML documentation.

✭ 35

rust javascript go python Visual Basic 6.0 vba automata state-machines frame-language

Generative music using conway's game of life

✭ 38

javascript CSS Pug music automata life conway-game cellular 2d glider

1-16 of 16 automata projects