B (Formal Method) GitHub repos

1 B (Formal Method) repo in the catalog, most starred first.