# verus-lang/verus

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

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

verus-lang/verus has 3,546 stars on GitHub. Its RepoMasters card: RC tier. Verified Rust for low-level systems code Language: Rust.

| Field | Value |
| --- | --- |
| Owner | [verus-lang](https://repo.masters-masters.com/en/owners/verus-lang) |
| Stars | 3,546 |
| Forks | 247 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | MIT |
| Created | 2021 |
| Tier | [RC (2,000 to 4,999 ★)](https://repo.masters-masters.com/en/ranks/blockbuster) |
| View on GitHub | [verus-lang/verus](https://github.com/verus-lang/verus) |

## Repository

Verified Rust for low-level systems code

The tier for repos with 2,000 to 4,999 ★. Published odds per card pulled: 3%. Rarity: Epic.

## Nearby in Rust

- [railwayapp/nixpacks · ★ 3,557 · Rust · RC](https://repo.masters-masters.com/en/repos/railwayapp/nixpacks)
- [OpenCloudGaming/OpenNOW · ★ 3,551 · Rust · RC](https://repo.masters-masters.com/en/repos/OpenCloudGaming/OpenNOW)
- [TrustTunnel/TrustTunnel · ★ 3,551 · Rust · RC](https://repo.masters-masters.com/en/repos/TrustTunnel/TrustTunnel)
- [Auburn/FastNoiseLite · ★ 3,544 · Rust · RC](https://repo.masters-masters.com/en/repos/Auburn/FastNoiseLite)
- [carthage-software/mago · ★ 3,544 · Rust · RC](https://repo.masters-masters.com/en/repos/carthage-software/mago)
- [JamieMason/ImageOptim-CLI · ★ 3,538 · Rust · RC](https://repo.masters-masters.com/en/repos/JamieMason/ImageOptim-CLI)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.