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