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