GitHub repository: statinf-otawa/obviews
Primary language: Python
Description: Obviews, viewer for OTAWA