Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for automata
automata
x
90 search results found
Regex
⭐
3,250
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
Libfsm
⭐
887
DFA regular expression library & friends
Stateless4j
⭐
860
Lightweight Java State Machine
Netzob
⭐
674
Netzob: Protocol Reverse Engineering, Modeling and Fuzzing
Python Statemachine
⭐
549
Python Finite State Machines made easy.
Regex Automata
⭐
349
A low level regular expression library that uses deterministic finite automata.
Automata
⭐
296
A Python library for simulating finite automata, pushdown automata, and Turing machines
Awesome Fsm
⭐
241
🤖 A curated list of awesome resources related to finite state machines and statecharts.
Automata.js
⭐
215
A regular expression converter
Noam
⭐
194
JavaScript library for working with automata and grammars for regular and context-free languages
Ultimate
⭐
175
The Ultimate program analysis framework.
Wayeb
⭐
145
Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.
Kingly
⭐
144
Zero-cost state-machine library for robust, testable and portable user interfaces (most machines compile ~1-2KB)
Swissarmylib
⭐
141
Collection of helpful utilities we use in our Unity projects.
Rustfst
⭐
134
Rust re-implementation of OpenFST - library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs). A Python binding is also available.
Aalpy
⭐
131
An Active Automata Learning Library Written in Python
Automata
⭐
131
A comprehensive autonomous decentralized systems framework for AI control architects.
Typestate Rs
⭐
119
Proc-macro typestate DSL for Rust
Galoisenne
⭐
105
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
Tulip Control
⭐
105
Temporal Logic Planning toolbox
Cyac
⭐
86
High performance Trie and Ahocorasick automata (AC automata) Keyword Match & Replace Tool for python
Automatalib
⭐
82
A free, open-source Java library for modeling automata, graphs, and transition systems
Katydid
⭐
81
Encoding Agnostic Validation (Validation Language, Parsers and Encoders)
Edomata
⭐
71
Production ready event-driven automata for Scala, Scala.js and scala native
Wireworld Nim
⭐
64
An implementation of Wireworld (Cellular Automata) in Nim using SDL2
Visual Automata
⭐
56
Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
Automatarium
⭐
53
A place for automata
Pythomata
⭐
45
A Python package for automata theory.
Php_aho_corasick
⭐
42
Aho-Corasick string search algorithm PHP extension implementation.
Formalesysteme
⭐
41
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Crystal
⭐
38
Generate 3D cellular automata
Frame_transpiler
⭐
36
Frame is a markdown language for creating state machines (automata) in 8 programming languages as well as generating UML documentation.
Omega
⭐
35
Specify and synthesize systems using symbolic algorithms
Pyformlang
⭐
30
A python library to manipulate formal languages
State Machine
⭐
27
State Machine for PHP
Automathon
⭐
24
A Python library for simulating and visualizing finite automata
Cycle State Machine Demo
⭐
24
Non-trivial, real use case demo of a hierarchical state machine library with cyclejs
Scilla Coq
⭐
24
State-Transition Systems for Smart Contracts
Computation Py
⭐
23
Python implementation for Understanding Computation book.
Libvata
⭐
22
VATA Tree Automata Library
Unitex Core
⭐
21
Unitex/GramLab C++ Core
Regextodfa
⭐
21
converting regex (regular expression) to DFA directly by creating syntax tree in java
Gameoflife
⭐
20
A fast, C++ OpenGL implementation of Conway's Game of Life. Now includes a 3D version!
Automata Python
⭐
19
[WIP] 📚 A python automata library implementing Finite Automata, FA with Output, PDA and TM 🚀 😄
Language Toolkit 2
⭐
19
A set of tools for analyzing languages via logic and automata
Automaton
⭐
18
A minimal Python finite-state machine.
Pysimpleautomata
⭐
18
Academic Python Library to manage DFA, NFA and AFW automata.
Pycfg
⭐
16
Context Free Grammar(CFG) parser library and application written in Python.
Panautomata
⭐
15
Cross-chain proofs and atomic transactions
Redis State Machine
⭐
13
A persistent state machine for redis
Ntua Slp Nlp
⭐
13
💻Speech and Natural Language Processing (SLP & NLP) Lab Assignments for ECE NTUA
Uned
⭐
12
Repositorio con PECs Ingenieria Informatica Uned
Flloat
⭐
12
From LTLf/LDLf To Automata
Liblet
⭐
11
A teaching aid library for formal languages and compiler courses
Gramlab Ide
⭐
11
Unitex/GramLab Java IDE
Statemachine
⭐
10
Finite-State Machines for Java
Tsetlinmachine
⭐
10
An implementation of the Tsetlin Machine in Rust
Libfa
⭐
10
C automata library to build, determinize, minimize, translate regexp etc
Temprl
⭐
10
Reinforcement Learning framework for Temporal Goals
Automata Playground
⭐
10
在线可视化地设计、运行自动机,支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network
Nominal Lstar
⭐
10
Code for "Learning nominal automata"
Yorha Edex Theme
⭐
10
NieR: Automata's YoRHa theme for eDEX-UI
Secondyear
⭐
9
This repository contains the work I've done in my second year along with some study materials which I had collected.
Algo
⭐
9
Algorithms and Data Structure For Go Applications
Roll Library
⭐
9
Regular Omega Language Learning Library
Nierautomataconcertsubtitles
⭐
8
Collaborative subtitles for the NieR Automata Music Concert.
Automatik
⭐
8
A library of formalized automaton algorithms
Langton S Ant
⭐
8
Fast implementation of Langton's Ant cellular automata for cooperative highway search
Simone
⭐
7
Grammars, automata and regular expressions editor
Ca
⭐
7
A program for generating cellular automata.
States
⭐
7
states is a utility for working with NFA, DFA and regular expressions
Automata
⭐
7
Companion repo for my blog post about Wolfram's elementary cellular automata
Automata Pip
⭐
7
Customizable personal assistant module to integrate in your own python scripts
Monaa
⭐
7
A Tool for Timed Patten Matching with Automata-Based Acceleration
Afn Itc
⭐
7
🤖 Implementação de um Autômato Finito Não-Determinístico para a disciplina de Introdução a Teoria da Computação
Lstar
⭐
6
Python implementation of lstar automata learning algorithm.
Aaltitoad
⭐
6
Extendable verification engine and simulator for Tick Tock Automata constructs
Contractautomatalib
⭐
6
The Contract Automata Library implements Contract Automata and their operations (e.g., composition, synthesis). This is the main repository of the Contract Automata Toolkit.
Supinforesources
⭐
6
Resources for Supinfo cursus and more. This repo is shared with any Supinfo Student and free of use.
Cuckoo
⭐
6
Framework for creating automatons
Div Regex
⭐
6
Computing regular expressions to test divisibility
Katydid Haskell
⭐
5
An Encoding Agnostic Validation Language
Dfa Implemented Python
⭐
5
Deteministic Finite Automaton Implementation in Python Language
Reddit Automata
⭐
5
A simple script for automate getting data from reddit
Vanda Haskell
⭐
5
Vanda-Haskell is a toolkit that contains various proof-of-concept implementations of algorithms from natural language processing.
Finity
⭐
5
Slim and readable state machine for Ruby
Cpast
⭐
5
Find edge cases when solving C.P. problems easily!
Optimizing_finite_automata
⭐
5
A website that can optimizing your Finite automata and draw it
String Matching Algorithms And Applications
⭐
5
Implementation of various string matching algorithms and their experimental analysis. Contains paper describing different string matching algorithms with their time and space complexities.
The_cellular_automata
⭐
5
Cellular Automata Generator
1-90 of 90 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.