GitHub repository: mCRL2org/mCRL2
Primary language: C++
Description: The Git repository for the mCRL2 toolset.