GitHub repository: tomsik68/benchexec-results-viewer
Primary language: Python
Description: Reimplementation of satt-frontend in python that should be easily integrable with benchexec