# GitHub repos by mCRL2org [Home](https://repo.masters-masters.com/en) › [mCRL2org](https://repo.masters-masters.com/en/owners/mCRL2org) The public GitHub repo by mCRL2org in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by mCRL2org 1 public repo by mCRL2org in the catalog, most starred first. - [mCRL2org/mCRL2 · ★ 118 · C++ · Prototype](https://repo.masters-masters.com/en/repos/mCRL2org/mCRL2) ## See mCRL2org on GitHub - [https://github.com/mCRL2org](https://github.com/mCRL2org) --- Data: GitHub