Topic: automata Goto Github
Some thing interesting about automata
Some thing interesting about automata
automata,converting regex (regular expression) to DFA directly by creating syntax tree in java
User: alirezakay
automata,Collection of helpful utilities we use in our Unity projects.
Organization: archoninteractive
automata,A python library to manipulate formal languages and various automata
User: aunsiels
Home Page: https://pypi.org/project/pyformlang/
automata,A place for automata
Organization: automatarium
Home Page: https://automatarium.tdib.xyz
automata,Conway's game of life
User: avyfain
automata,πΈοΈ Graphs, finite fields and discrete dynamical systems in Kotlin
User: breandan
automata,Non-trivial, real use case demo of a hierarchical state machine library with cyclejs
User: brucou
automata,Zero-cost state-machine library for robust, testable and portable user interfaces (most machines compile ~1-2KB)
User: brucou
Home Page: https://brucou.github.io/documentation/
automata,A low level regular expression library that uses deterministic finite automata.
User: burntsushi
automata,A Python library for simulating finite automata, pushdown automata, and Turing machines
User: caleb531
Home Page: https://pypi.org/project/automata-lib/
automata,State Machine for PHP
Organization: dddphp
automata,An Automata Learning Library Written in Python
Organization: des-lab
Home Page: https://github.com/DES-Lab/AALpy/wiki
automata,Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.
User: elalev
automata,Deterministic Finite Automata in C++, Token Parser & Lexer
User: fffaraz
automata,Python Finite State Machines made easy.
User: fgmacedo
automata,Frame is a markdown language for creating state machines (automata) in 8 programming languages as well as generating UML documentation.
User: frame-lang
automata,Rust re-implementation of OpenFST - library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs). A Python binding is also available.
User: garvys
Home Page: https://docs.rs/rustfst
automata,Production ready event-driven automata for Scala, Scala.js and scala native
User: hnaderi
Home Page: http://edomata.ir/
automata,A regular expression converter
User: hokein
Home Page: http://hokein.github.io/Automata.js/
automata,JavaScript library for working with automata and grammars for regular and context-free languages
User: izuzak
Home Page: http://ivanzuzak.info/noam/
automata,DFA regular expression library & friends
User: katef
automata,Encoding Agnostic Validation (Validation Language, Parsers and Encoders)
Organization: katydid
Home Page: http://katydid.github.io
automata,Python implementation for Understanding Computation book.
User: kigawas
automata,Unterlagen zur Vorlesung "Formale Systeme", FakultΓ€t Informatik, TU Dresden
Organization: knowsys
Home Page: https://iccl.inf.tu-dresden.de/web/Formale_Systeme
automata,A free, open-source Java library for modeling automata, graphs, and transition systems
Organization: learnlib
Home Page: http://automatalib.net
automata,π€ A curated list of awesome resources related to finite state machines and statecharts.
User: leonardomso
automata,Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
User: lewiuberg
automata,High performance Trie and Ahocorasick automata (AC automata) Keyword Match & Replace Tool for python
User: nppoly
automata,VATA Tree Automata Library
User: ondrik
automata,Academic Python Library to manage DFA, NFA and AFW automata.
User: oneiroe
automata,Aho-Corasick string search algorithm PHP extension implementation.
User: ph4r05
automata,A persistent state machine for redis
Organization: redislabsmodules
automata,A Python library for simulating and visualizing finite automata
User: rohaquinlop
Home Page: https://rohaquinlop.github.io/automathon/
automata,An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
Organization: rust-lang
Home Page: https://docs.rs/regex
automata,Proc-macro typestate DSL for Rust
Organization: rustype
Home Page: https://rustype.github.io/typestate-rs/
automata,There is no state but what we make. Feel free to pitch in.
Organization: statecharts
Home Page: https://statecharts.dev/
automata,Lightweight Java State Machine
Organization: stateless4j
automata,Generate 3D cellular automata
User: tterrasson
automata,Generative music using conway's game of life
User: tterrasson
automata,Specify and synthesize systems using symbolic algorithms
Organization: tulip-control
Home Page: https://pypi.org/project/omega
automata,Temporal Logic Planning toolbox
Organization: tulip-control
Home Page: http://tulip-control.org
automata,The Ultimate program analysis framework.
Organization: ultimate-pa
Home Page: https://ultimate.informatik.uni-freiburg.de
automata,Unitex/GramLab C++ Core
Organization: unitexgramlab
Home Page: https://unitexgramlab.org
automata,A comprehensive autonomous decentralized systems framework for AI control architects.
User: upstarter
automata,A Python package for automata theory.
Organization: whitemech
Home Page: https://whitemech.github.io/pythomata/
automata,State-Transition Systems for Smart Contracts
Organization: zilliqa
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.