GitHub repository: ktbs/ktbs
Primary language: Python
Description: Kernel for Trace Based Systems - Python Implementation