Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.
ElAlev
A Python package for automata theory.
whitemech