Perun: Light-weight Performance Version System
An open source light-weight Performance Version System and tool suite of performance analysis and profiling tools.
An open source light-weight Performance Version System and tool suite of performance analysis and profiling tools.
Mata is an open source automata library that offers interface for different kinds of automata (NFA).
Gaston is an implementation of backward decision procedure logic for WS1S logic.