# GitHub repos by clarus [Home](https://repo.masters-masters.com/en) › [clarus](https://repo.masters-masters.com/en/owners/clarus) All 3 public GitHub repos by clarus in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by clarus 3 public repos by clarus in the catalog, most starred first. - [clarus/redux-ship · ★ 606 · JavaScript · Alpha](https://repo.masters-masters.com/en/repos/clarus/redux-ship) - [clarus/coq-chick-blog · ★ 181 · Coq · Prototype](https://repo.masters-masters.com/en/repos/clarus/coq-chick-blog) - [clarus/falso · ★ 105 · Coq · Prototype](https://repo.masters-masters.com/en/repos/clarus/falso) ## See clarus on GitHub - [https://github.com/clarus](https://github.com/clarus) --- Data: GitHub