# GitHub repos by statebox [Home](https://repo.masters-masters.com/en) › [statebox](https://repo.masters-masters.com/en/owners/statebox) All 3 public GitHub repos by statebox in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by statebox 3 public repos by statebox in the catalog, most starred first. - [statebox/awesome-applied-ct · ★ 473 · Alpha](https://repo.masters-masters.com/en/repos/statebox/awesome-applied-ct) - [statebox/idris-ct · ★ 272 · Idris · Alpha](https://repo.masters-masters.com/en/repos/statebox/idris-ct) - [statebox/cql · ★ 189 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/statebox/cql) ## See statebox on GitHub - [https://github.com/statebox](https://github.com/statebox) --- Data: GitHub