GitHub topics: automata

Repositories

aabs/aabs

About Andrew.

Language: Typst - Size: 2.03 MB - Last synced at: about 11 hours ago - Pushed at: about 12 hours ago - Stars: 0 - Forks: 0

breandan/galoisenne

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

Language: Kotlin - Size: 122 MB - Last synced at: about 13 hours ago - Pushed at: about 14 hours ago - Stars: 132 - Forks: 11

NikolasKekelak/TuringMachineEditor

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

Language: Java - Size: 1.54 MB - Last synced at: about 20 hours ago - Pushed at: about 21 hours 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: 2 days ago - Pushed at: 2 days ago - Stars: 48 - Forks: 12

hnaderi/edomata

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

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

ultimate-pa/ultimate

The Ultimate program analysis framework.

Language: Java - Size: 872 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 219 - Forks: 45

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: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 1

Model-Based-Design-Lab/cmwb

Computational Modeling WorkBench

Language: PHP - Size: 95.1 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 4 - Forks: 0

Model-Based-Design-Lab/cmlang

Computational Modeling Domain Specific Languages and Tools

Language: Xtend - Size: 413 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

Model-Based-Design-Lab/cmlib

Computational Modeling Libraries

Language: Python - Size: 676 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 2 - Forks: 0

shilangyu/nfa-sandbox

A sandbox for creating, running, and testing NFAs

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

MirisWisdom/NieR.EXPer

NieR:Automata EXP/Level Patcher

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

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: 6 days ago - Pushed at: 6 months ago - Stars: 3,685 - Forks: 462

netzob/netzob

Netzob: Protocol Reverse Engineering, Modeling and Fuzzing

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

Project-FUMA/FUMA-Amane

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

Size: 127 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0

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: 9 months ago - Stars: 215 - Forks: 33

labhansh2/models-of-computation

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

Language: C++ - Size: 95.7 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0

caleb531/automata

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

Language: Python - Size: 2.09 MB - Last synced at: 8 days ago - Pushed at: 2 months ago - Stars: 380 - Forks: 68

fgmacedo/python-statemachine

Python Finite State Machines made easy.

Language: Python - Size: 2.2 MB - Last synced at: 11 days ago - Pushed at: 27 days ago - Stars: 1,036 - Forks: 93

joaopauloaramuni/fundamentos-teoricos-da-computacao

Repo Fundamentos Teóricos da Computação

Language: Python - Size: 27.5 MB - Last synced at: 3 days ago - Pushed at: 12 days ago - Stars: 23 - Forks: 1

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: over 1 year ago - Stars: 57 - Forks: 9

stateless4j/stateless4j

Lightweight Java State Machine

Language: Java - Size: 269 KB - Last synced at: 8 days ago - Pushed at: almost 2 years ago - Stars: 906 - Forks: 190

leonardomso/awesome-fsm

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

Language: JavaScript - Size: 192 KB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 395 - Forks: 23

vgarciasc/dfa-draw

A web tool for drawing deterministic finite automata.

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

BurntSushi/regex-automata 📦

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

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

ibra-kdbra/Language_Reactor

Language: Assembly - Size: 56.6 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 1 - 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: 19 days ago - Pushed at: 19 days 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: 20 days ago - Pushed at: 20 days 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: 19 days ago - Pushed at: 20 days ago - Stars: 0 - Forks: 0

GitProger/ITMO-CT-dm-labs

Discrete Math Labs

Language: C++ - Size: 1.14 MB - Last synced at: 21 days ago - Pushed at: 21 days 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: 21 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0

automatarium/automatarium

A place for automata

Language: TypeScript - Size: 6.29 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 73 - Forks: 11

moorara/algo

Algorithms and Data Structure For Go Applications

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

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: about 20 hours ago - Pushed at: over 3 years ago - Stars: 202 - Forks: 10

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: 8 days ago - Pushed at: about 1 month ago - Stars: 153 - Forks: 17

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: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0

ref-humbold/FITA-View 📦

Finite and Infinite Tree Automata Viewer

Language: Java - Size: 9.72 MB - Last synced at: 28 days ago - Pushed at: 28 days 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: 30 days ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 3

DES-Lab/AALpy

An Automata Learning Library Written in Python

Language: Python - Size: 25.6 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 179 - Forks: 28

let-unimi/liblet

A teaching aid library for formal languages and compiler courses

Language: Python - Size: 1.49 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 12 - Forks: 3

tulip-control/omega

Specify and synthesize systems using symbolic algorithms

Language: Python - Size: 899 KB - Last synced at: 26 days ago - Pushed at: 6 months ago - Stars: 46 - Forks: 5

rustype/typestate-rs

Proc-macro typestate DSL for Rust

Language: Rust - Size: 6.09 MB - Last synced at: 29 days ago - Pushed at: almost 2 years ago - Stars: 148 - Forks: 11

katef/libfsm

DFA regular expression library & friends

Language: C - Size: 7.3 MB - Last synced at: 26 days ago - Pushed at: about 1 month ago - Stars: 955 - Forks: 56

whitemech/pythomata

A Python package for automata theory.

Language: Python - Size: 6.07 MB - Last synced at: 7 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: 1 day 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.71 MB - Last synced at: 25 days ago - Pushed at: about 1 month ago - Stars: 11 - Forks: 0

HexMerlin/Automata

An optimized library for finite-state automata that includes visualization

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

fffaraz/DFA

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

Language: C++ - Size: 105 KB - Last synced at: about 1 month 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: 8 days ago - Pushed at: 8 days ago - Stars: 8 - Forks: 0

hokein/Automata.js

A regular expression converter

Language: JavaScript - Size: 752 KB - Last synced at: 5 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: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

blenderskool/vyaakaran

📜 Visualize formal languages and automata

Language: TypeScript - Size: 1.1 MB - Last synced at: about 1 month ago - Pushed at: 9 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: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

rohaquinlop/automathon

A Python library for simulating and visualizing finite automata

Language: Python - Size: 783 KB - Last synced at: about 4 hours ago - Pushed at: 4 months ago - Stars: 66 - Forks: 4

LEE-CHENYU/leviathan

Exploring the Emergence of Complex Systems through Individual Decisions and Relationships

Language: Jupyter Notebook - Size: 414 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 2

MrCamoga/Langton-s-Ant

Efficient implementation of Langton's Ant cellular automata on an infinite grid for cooperative highway search

Language: Java - Size: 7.58 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 13 - Forks: 2

schependom/KULAK_automaten-en-berekenbaarheid

Additional LaTeX material for the course Automaten en Berekenbaarheid (2nd year Computer Science @ KU Leuven Kulak)

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

LearnLib/automatalib

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

Language: Java - Size: 42.5 MB - Last synced at: 29 days ago - Pushed at: about 2 months ago - Stars: 95 - Forks: 33

chenkovsky/cyac

High performance Trie and Ahocorasick automata (AC automata) Keyword Match & Replace Tool for python. Correct case insensitive implementation!

Language: Cython - Size: 1.75 MB - Last synced at: 21 days ago - Pushed at: 7 months ago - Stars: 94 - Forks: 15

mvcisback/lstar

Python implementation of lstar automata learning algorithm.

Language: Python - Size: 93.8 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 1

adielBm/fsm

Generate TikZ (with automata library) code for a diagram of finite automaton (DFA/NFA).

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

Lurgrid/Glushkovizer

Manipulation, regular expression and automaton library. Allows conversion of regular expressions into automata and analysis of automata and their orbits.

Language: Rust - Size: 3.34 MB - Last synced at: 4 days ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0

aw-junaid/Computer-Science

Explore a collection of resources and projects in Computer Science, covering algorithms, data structures, programming languages, and emerging technologies. Ideal for learners and enthusiasts looking to enhance their knowledge and skills in the field

Language: Python - Size: 1.85 GB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 52 - Forks: 11

yantavares/coding-challenges

Coding challenges with TypeScript!

Language: TypeScript - Size: 6.56 MB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

Benestar/rust-model-checker

A Model Checker in Rust

Language: Rust - Size: 43.9 KB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 4 - Forks: 0

Ingenious-c0der/Beluga

An esoteric programming language based on Turing Machines

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

sanchezluys/Automatas-Nivel-0

Curso Automatas Nivel 0: Básico

Language: HTML - Size: 14.9 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

onurakkaya/nfa-to-dfa-conversion

FlyWeight Finite Automata Simulator

Language: C# - Size: 73.2 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

p4nzer96/FSAToolbox

A simple toolkit for doing analysis and operating functions on automata

Language: Python - Size: 72.2 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

andrew-johnson-4/L1DFA

Deterministic Finite-State Automata Library for Rust, written in L1

Language: Rust - Size: 42 KB - Last synced at: 11 days ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0

arindas/arundel

Java library for building computation graphs.

Language: Java - Size: 193 KB - Last synced at: about 2 months ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 0

Youngermaster/Spacey

Spacey is an Elixir project for validating and visualizing automata. It is currently under development and provides basic functionality to generate visual representations of deterministic finite automata (DFAs) using Graphvix.

Language: Elixir - Size: 64.5 KB - Last synced at: 3 months ago - Pushed at: 3 months 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: 16 days ago - Pushed at: 3 months ago - Stars: 3 - Forks: 2

knedl1k/B4B01JAG

CTU FEE Subject Languages, Automats and Gramatics

Language: TeX - Size: 11.8 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Zakrok09/ts-automata

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

Language: TypeScript - Size: 274 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 30 - Forks: 0

LugolBis/lumo

Command line tool for Automata

Language: Shell - Size: 27.3 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

hemangsk/automata-python

[WIP] :books: A python automata library implementing Finite Automata, FA with Output and PDA

Language: Python - Size: 88.9 KB - Last synced at: 27 days ago - Pushed at: about 3 years ago - Stars: 22 - Forks: 3

ghadeeras/languasaurus

A dynamic parser generator tool for TypeScript/JavaScript

Language: TypeScript - Size: 215 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

alirezakay/RegexToDFA

converting regex (regular expression) to DFA directly by creating syntax tree in java

Language: Java - Size: 1.44 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 30 - Forks: 15

LIU42/LexicalAnalyzer

《编译原理》课程设计，基于有穷自动机的类 C 语言词法分析器

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

tulip-control/tulip-control

Temporal Logic Planning toolbox

Language: Python - Size: 9.52 MB - Last synced at: 29 days ago - Pushed at: 5 months ago - Stars: 117 - Forks: 35

akshitadixit/flowfsm

A versatile Python framework for building and managing finite state machines and workflows, (in future maybe) graph-based systems with ease and flexibility.

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