verus-lang/verus

verus-lang/verus has 3,561 GitHub stars and 250 forks. GitHot measured +12 stars in 24 hours. Last checked 2026-11-05 20:44 UTC. Last push 2026-11-02.

How these counts are measured

Verified Rust for low-level systems code

3,561 stars 250 forks +12 in 24h

Measured star growth

in 24h: +12
in 7 days: Update delayed
in 15 days: Update delayed
in 1 month: Update delayed

Net star changes over overlapping periods, not daily totals. Missing measurements are left blank. Stars measure attention, not software quality.

README.md

Original

Read the README on GitHub

Explore related projects

codecrafters-io/build-your-own-x

Master programming by recreating your favorite technologies from scratch.

560,322 stars

public-apis/public-apis

A collective list of free APIs

496,615 stars

morluto/rea

Reverse engineer anything with agents, from app behavior down to native binaries.

436,764 stars

openclaw/openclaw

The AI that really does things. Any OS. Any Platform. The lobster way. 🦞

394,043 stars