# GitHub repos by model-checking

<https://repo.masters-masters.com/en/owners/model-checking>

[Home](https://repo.masters-masters.com/en) › [model-checking](https://repo.masters-masters.com/en/owners/model-checking)

The public GitHub repo by model-checking in RepoMasters, the trading card game of open source: stars, language, tier and card.

## GitHub repos by model-checking

1 public repo by model-checking in the catalog, most starred first.

- [model-checking/kani · ★ 3,627 · Rust · RC](https://repo.masters-masters.com/en/repos/model-checking/kani)

## See model-checking on GitHub

- [https://github.com/model-checking](https://github.com/model-checking)

---
Data: GitHub