# B (Formal Method) GitHub repos [Home](https://repo.masters-masters.com/en) › [Languages](https://repo.masters-masters.com/en/languages) › [B (Formal Method)](https://repo.masters-masters.com/en/languages/b-formal-method) The B (Formal Method) GitHub repo in RepoMasters, the trading card game of open source: its stars, tier and card art. ## B (Formal Method) GitHub repos 1 B (Formal Method) repo in the catalog, most starred first. - [shurushetr/awesome-snapmaker · ★ 160 · B (Formal Method) · Prototype](https://repo.masters-masters.com/en/repos/shurushetr/awesome-snapmaker) --- Data: GitHub