# GitHub repos by diffblue [Home](https://repo.masters-masters.com/en) › [diffblue](https://repo.masters-masters.com/en/owners/diffblue) All 2 public GitHub repos by diffblue in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by diffblue 2 public repos by diffblue in the catalog, most starred first. - [diffblue/cbmc · ★ 1,157 · C++ · Beta](https://repo.masters-masters.com/en/repos/diffblue/cbmc) - [diffblue/hw-cbmc · ★ 117 · C++ · Prototype](https://repo.masters-masters.com/en/repos/diffblue/hw-cbmc) ## See diffblue on GitHub - [https://github.com/diffblue](https://github.com/diffblue) --- Data: GitHub