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