#automata (11 Repositories)
Ranked open-source repositories tagged with #automata, scored by pull request acceptance likelihood and maintainer engagement velocity.
20.4%
1.3h
11 repositories tagged #automata
hnaderi/edomata
Production ready event-driven automata for Scala, Scala.js and scala native
ultimate-pa/ultimate
The Ultimate program analysis framework.
ieviev/resharp
RE# - A high-performance, derivative-based regex engine with first-class support for intersection and complement operations.
tulip-control/tulip-control
Temporal Logic Planning toolbox
LearnLib/learnlib
A free, open-source Java library for automata learning algorithms
LearnLib/automatalib
A free, open-source Java library for automata, graphs, and transition systems
statecharts/statecharts.github.io
There is no state but what we make. Feel free to pitch in.
ElAlev/Wayeb
Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.
upstarter/automata
A comprehensive autonomous decentralized systems framework for AI control architects.
breandan/galoisenne
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
stateless4j/stateless4j
Lightweight Java State Machine