gliderGenerative music using conway's game of life
Stars: ✭ 38 (+8.57%)
RegexAn implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
Stars: ✭ 2,125 (+5971.43%)
php aho corasickAho-Corasick string search algorithm PHP extension implementation.
Stars: ✭ 45 (+28.57%)
computation-pyPython implementation for Understanding Computation book.
Stars: ✭ 22 (-37.14%)
NTUA-slp-nlp💻Speech and Natural Language Processing (SLP & NLP) Lab Assignments for ECE NTUA
Stars: ✭ 19 (-45.71%)
AALpyAn Active Automata Learning Library Written in Python
Stars: ✭ 60 (+71.43%)
kaliningraph🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
Stars: ✭ 62 (+77.14%)
FormaleSystemeUnterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Stars: ✭ 31 (-11.43%)
conwayConway's game of life
Stars: ✭ 27 (-22.86%)
omegaSpecify and synthesize systems using symbolic algorithms
Stars: ✭ 36 (+2.86%)
PySimpleAutomataAcademic Python Library to manage DFA, NFA and AFW automata.
Stars: ✭ 17 (-51.43%)
rustfstRust re-implementation of OpenFST - library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs). A Python binding is also available.
Stars: ✭ 104 (+197.14%)
libvataVATA Tree Automata Library
Stars: ✭ 23 (-34.29%)
typestate-rsProc-macro typestate DSL for Rust
Stars: ✭ 110 (+214.29%)
visual-automataVisual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
Stars: ✭ 55 (+57.14%)
StateNetA small .Net Standard library used to model simple State Machines
Stars: ✭ 14 (-60%)
ember@microstates/ember - Official Microstates bindings for Ember.js
Stars: ✭ 68 (+94.29%)
guile-smcGNU Guile State Machine Compiler
Stars: ✭ 15 (-57.14%)
triggerflowEvent-based Orchestration of Serverless Workflows
Stars: ✭ 38 (+8.57%)
Stateless-DesignerVisual Studio extension to support visual design of stateless state machines. Support for Visual Studio 2012/2013/2015/2017.
Stars: ✭ 47 (+34.29%)