Sign in with GitHub
← Back to Discover
verus-lang

verus-lang/verus

RustMITactive
74Health

Verified Rust for low-level systems code

Stars2.6k
Forks166
Open Issues228
Contributors166
Last Push3d ago

Health Breakdown

Activity
25
Community
13
Maintenance
11
Popularity
25
View on GitHub ↗Issues (228) ↗Pull Requests ↗

Community

verus-lang74

Verified Rust for low-level systems code

active
★ 2.6k166 contributors3d ago

More Rust repos

polytope-labs
polytope-labs/hyperbridge
Hyperbridge scales verifiable interoperability
★ 20892
wboayue
wboayue/rust-ibapi
An implementation of the Interactive Brokers API for Rust
★ 31791
NiREvil
NiREvil/vless
v2ray subscription links
★ 1.1k91