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