# GitHub repos by verus-lang

<https://repo.masters-masters.com/en/owners/verus-lang>

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

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

## GitHub repos by verus-lang

1 public repo by verus-lang in the catalog, most starred first.

- [verus-lang/verus · ★ 3,546 · Rust · RC](https://repo.masters-masters.com/en/repos/verus-lang/verus)

## See verus-lang on GitHub

- [https://github.com/verus-lang](https://github.com/verus-lang)

---
Data: GitHub