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