GitHub topics: automata

Repositories

yavor300/Technical-University-of-Varna

This repository represents all of my work at the Technical University of Varna. The speciality is "Software and Internet Technologies."

Language: Java - Size: 911 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

automatarium/automatarium

A place for automata

Language: TypeScript - Size: 10.8 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 75 - Forks: 11

hnaderi/edomata

Production ready event-driven automata for Scala, Scala.js and scala native

Language: Scala - Size: 3.34 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 93 - Forks: 10

MuhammadSarimWaseem/LangZ

LangZ. It is our custom language inspired from Python and C++.

Language: Python - Size: 3.72 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

rust-lang/regex

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

Language: Rust - Size: 7.43 MB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 3,709 - Forks: 466

moorara/algo

Algorithms and Data Structure For Go Applications

Language: Go - Size: 1.4 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 11 - Forks: 3

atsushi-yamamoto2/flowregex

yamamoto regex

Language: Ruby - Size: 101 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 1

aabs/aabs

About Andrew.

Language: Typst - Size: 1.9 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

breandan/galoisenne

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

Language: Kotlin - Size: 130 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 136 - Forks: 11

LearnLib/automatalib

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

Language: Java - Size: 42.5 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 94 - Forks: 33

rustype/typestate-rs

Proc-macro typestate DSL for Rust

Language: Rust - Size: 6.09 MB - Last synced at: about 3 hours ago - Pushed at: almost 2 years ago - Stars: 150 - Forks: 11

Zakrok09/ts-automata

TS-AUtomata is an automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS.

Language: TypeScript - Size: 319 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 32 - Forks: 0

yorth21/syntactic-analyzer

Analizador lógico-aritmético en Java (recursivo y con pila) con generación de notaciones.

Language: Java - Size: 29.3 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

arhamaneeq/sw-GameOfLife

CLI Implementation of Conway's Game of Life

Language: C++ - Size: 17.6 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 1 - Forks: 1

fgmacedo/python-statemachine

Python Finite State Machines made easy.

Language: Python - Size: 2.2 MB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 1,067 - Forks: 96

caleb531/automata

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

Language: Python - Size: 2.04 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 380 - Forks: 70

Hayo87/automata-explorer

Visual comparison tool for automata

Language: Java - Size: 855 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 1 - Forks: 0

devvyyxyz/cellular-automata

Language: HTML - Size: 5.86 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0

ibra-kdbra/Language_Reactor

Language: Shell - Size: 70.3 KB - Last synced at: 12 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

ultimate-pa/ultimate

The Ultimate program analysis framework.

Language: Java - Size: 873 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 221 - Forks: 46

DES-Lab/AALpy

An Automata Learning Library Written in Python

Language: Python - Size: 25.6 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 182 - Forks: 29

garvys-org/rustfst

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

Language: Rust - Size: 6.78 MB - Last synced at: 12 days ago - Pushed at: 2 months ago - Stars: 159 - Forks: 17

rohaquinlop/automathon

A Python library for simulating and visualizing finite automata

Language: Python - Size: 503 KB - Last synced at: 14 days ago - Pushed at: 15 days ago - Stars: 67 - Forks: 4

Neikow/statemachines_orchestrator

An extension to `python-statemachines` that allows connecting several machines together, with typechecking & IDE completions !

Language: Python - Size: 71.3 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

netzob/netzob

Netzob: Protocol Reverse Engineering, Modeling and Fuzzing

Language: Python - Size: 25.9 MB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 797 - Forks: 169

zerlok/statomata

a strictly typed, flexible library for building and running state machines in Python

Language: Python - Size: 174 KB - Last synced at: 13 days ago - Pushed at: 15 days ago - Stars: 1 - Forks: 0

katef/libfsm

DFA regular expression library & friends

Language: C - Size: 7.3 MB - Last synced at: 19 days ago - Pushed at: 3 months ago - Stars: 960 - Forks: 56

dot-memento/mini-lex

Minimal lexical analyzer generator

Language: C - Size: 17.6 KB - Last synced at: 21 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0

sourceduty/Agentic_Automation

Robotics and software completing recurring tasks or processes.

Size: 394 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0

MasWag/monaa

A Tool for Timed Patten Matching with Automata-Based Acceleration

Language: C++ - Size: 2.75 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 9 - Forks: 1

let-unimi/liblet

A teaching aid library for formal languages and compiler courses

Language: Python - Size: 1.54 MB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 12 - Forks: 3

leonardomso/awesome-fsm

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

Language: JavaScript - Size: 192 KB - Last synced at: 24 days ago - Pushed at: 3 months ago - Stars: 398 - Forks: 23

Jlobo0210/Automat_RomanNumbers_Floats

Autómata de números romanos del 1 al 50.

Language: Python - Size: 1.95 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

Metroidzeta/Model-Checker-CTL

Model Checker CTL (simple) en Java, que j'ai réalisé en M2 Informatique parcours Programmation et Logiciels Sûrs

Language: Java - Size: 76.2 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

2qx/unspent

₿∙ϕ - Unspent Phi (an app, library, cli & db) for executing a set of anyone-can-spend contracts on Bitcoin Cash.

Language: CSS - Size: 143 MB - Last synced at: 22 days ago - Pushed at: 4 months ago - Stars: 3 - Forks: 2

larsjuvik/game-of-life

A demo of John Conway´s Game of Life 👾

Language: Rust - Size: 82 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0

Lazerbeak12345/pixelmanipulator

A super powerful Typescript library for cellular automation

Language: TypeScript - Size: 3.38 MB - Last synced at: 30 days ago - Pushed at: 30 days ago - Stars: 4 - Forks: 2

Model-Based-Design-Lab/cmwb

Computational Modeling WorkBench

Language: PHP - Size: 95.1 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0

joaopauloaramuni/fundamentos-teoricos-da-computacao

Repo Fundamentos Teóricos da Computação

Language: Python - Size: 27.6 MB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 23 - Forks: 1

labhansh2/models-of-computation

Implementations of theorotical models of computation in cpp. (Not a UNI project)

Language: C++ - Size: 106 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

HexMerlin/Automata

An optimized library for finite-state automata that includes visualization

Language: C# - Size: 7.52 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

NikolasKekelak/TuringMachineEditor

A nerdy IDE to play with Turing Machines, grammars, and much more!

Language: Java - Size: 1.54 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Aunsiels/pyformlang

A python library to manipulate formal languages and various automata

Language: Python - Size: 513 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 48 - Forks: 12

izuzak/noam

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

Language: JavaScript - Size: 883 KB - Last synced at: 6 days ago - Pushed at: 10 months ago - Stars: 216 - Forks: 33

Model-Based-Design-Lab/cmlang

Computational Modeling Domain Specific Languages and Tools

Language: Xtend - Size: 413 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Model-Based-Design-Lab/cmlib

Computational Modeling Libraries

Language: Python - Size: 676 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

shilangyu/nfa-sandbox

A sandbox for creating, running, and testing NFAs

Language: TypeScript - Size: 253 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

MirisWisdom/NieR.EXPer

NieR:Automata EXP/Level Patcher

Language: C# - Size: 1.16 MB - Last synced at: 7 days ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 1

Project-FUMA/FUMA-Amane

(WIP) FUMA Minecraft 整合包分发&管理仓库（代号：FUMA-Amane）

Size: 127 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

lewiuberg/visual-automata 📦

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

Language: Python - Size: 378 KB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 57 - Forks: 9

stateless4j/stateless4j

Lightweight Java State Machine

Language: Java - Size: 269 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 906 - Forks: 190

vgarciasc/dfa-draw

A web tool for drawing deterministic finite automata.

Language: JavaScript - Size: 107 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 17 - Forks: 4

frame-lang/frame_transpiler

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

Language: Rust - Size: 15.8 MB - Last synced at: 28 days ago - Pushed at: 5 months ago - Stars: 66 - Forks: 9

BurntSushi/regex-automata 📦

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

Language: Rust - Size: 39.1 MB - Last synced at: 4 days ago - Pushed at: almost 2 years ago - Stars: 349 - Forks: 26

teohrt/Cellular-Automata

Wolfram and Conway's Famous Cellular Automata

Language: C++ - Size: 1.73 MB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 6 - Forks: 0

TheZikoHunter/AFN-Determination-Tool

A Java tool for converting non-deterministic finite automata (AFN) to deterministic ones (AFD), with a Swing-based GUI.

Size: 673 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

mkantrr/automython

A simplistic programming language interpreter to Python to help students grasp finite automata theory programmatically and with a computed graph through visualization libraries.

Language: Python - Size: 515 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

lucasmmg1/elementarycellularautomata

This is a elementary cellular automata theory representation made in processing!

Language: Processing - Size: 29.3 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

GitProger/ITMO-CT-dm-labs

Discrete Math Labs

Language: C++ - Size: 1.14 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

vxrdis/allen-interval-probabilities

Probabilistic extensions of Allen’s Interval Algebra for temporal reasoning under uncertainty

Language: Python - Size: 6.81 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

tulip-control/tulip-control

Temporal Logic Planning toolbox

Language: Python - Size: 9.52 MB - Last synced at: 24 days ago - Pushed at: about 1 month ago - Stars: 118 - Forks: 36

tulip-control/omega

Specify and synthesize systems using symbolic algorithms

Language: Python - Size: 899 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 48 - Forks: 5

brucou/kingly

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

Language: JavaScript - Size: 17.2 MB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 202 - Forks: 10

Shweta31410/Turing-Machine-Project

A Python-based project exploring Decidability and Undecidability using Turing Machine simulations

Language: Python - Size: 5.86 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

ref-humbold/FITA-View 📦

Finite and Infinite Tree Automata Viewer

Language: Java - Size: 9.72 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 4 - Forks: 1

mvcisback/dfa-identify

Python library for identifying/learning DFAs from labeled examples by reduction to SAT.

Language: Python - Size: 275 KB - Last synced at: about 2 hours ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 3

whitemech/pythomata

A Python package for automata theory.

Language: Python - Size: 6.07 MB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 56 - Forks: 6

alexeyraspopov/javascript-automata

Set of experiments, PoC, and notes on using finite state machine efficiently in creating UI

Size: 0 Bytes - Last synced at: 8 days ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

rootCircle/cpast_mono

Find edge cases when solving C.P. problems easily!

Language: Rust - Size: 6.75 MB - Last synced at: 29 days ago - Pushed at: about 1 month ago - Stars: 11 - Forks: 0

upstarter/automata

A comprehensive autonomous decentralized systems framework for AI control architects.

Language: Elixir - Size: 17 MB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 166 - Forks: 13

fffaraz/DFA

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

Language: C++ - Size: 105 KB - Last synced at: 2 months ago - Pushed at: over 12 years ago - Stars: 48 - Forks: 12

krishnachandran-u/pykleene

Python library for building and simulating automata and formal grammars

Language: Python - Size: 3.14 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 8 - Forks: 0

hokein/Automata.js

A regular expression converter

Language: JavaScript - Size: 752 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 228 - Forks: 23

school-Tygo-van-den-Hurk/TUe-2IRR90-Automata-and-Formal-Languages-2024-2025 📦

Automata and Formal Languages is a course about Automata and the different types of languages you can prove with them. In this repository I'll be making the homework assignments.

Language: TeX - Size: 18.6 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

blenderskool/vyaakaran

📜 Visualize formal languages and automata

Language: TypeScript - Size: 1.1 MB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 53 - Forks: 9

alexeskenazi/jflap-pda-finite-non-deterministic-pushdown-automata

A non-deterministic pushdown automaton (PDA) implemented in JFLAP that accepts strings of the form a#b where a and b are strings over the alphabet {x,y}, a is not equal to b, and there exists at least one position where the symbols in a and b match, demonstrating the application of PDA concepts in formal language processing.

Size: 639 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0