Perun: Light-weight Performance Version System
An open source light-weight Performance Version System and tool suite of performance analysis and profiling tools.
Tags: fuzz testing, performance analysis, performance testing, profiling, tool suite
Projects
Mata: The Automata Library
Mata is an open source automata library that offers interface for different kinds of automata (NFA).
Tags: finite automata, library
Gaston: Decision Procedure for WS1S Logic
Gaston is an implementation of backward decision procedure logic for WS1S logic.
Tags: decision procedure, nondeterministic finite automata, ws1s