# verus-lang/verus

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/verus-lang-verus).**

2,310 stars · 146 forks · Rust · mit

## Links

- GitHub: https://github.com/verus-lang/verus
- awesome-repositories: https://awesome-repositories.com/repository/verus-lang-verus.md

## Tags

### Part of an Awesome List

- [Static Analysis](https://awesome-repositories.com/f/awesome-lists/devtools/static-analysis.md) — Verified Rust for low-level systems code.