GitHub repository: qreal/qreal
Primary language: C++
Description: CASE and metaCASE system