github Not archived

verus-lang/verus

Verified Rust for low-level systems code

2 awesome lists

Quick read

Stars
3,524
Forks
247
Open issues
387
Commits
4,882

Activity and growth

Latest capture 2026-11-01 09:49

Stars · last 7 days
0 0.0%
Commits · last 7 days
0 0.0%
Stars since tracking
0
Stored snapshots
1

Compare the starting count and capture dates, not just the percentage. How to read GitHub star growth. Missing history is not zero growth.

Metadata

Language
Rust
License
MIT
Default branch
main
Created
2021-10-19
First commit
2021-04-05
Last pushed
2026-11-01
GitHub updated
2026-11-01
Last synced
2026-11-01 09:49
Stack scanned
2026-11-01 09:49
Archived
No

Archive status reflects the last catalog sync, not a maintenance assessment. Check recent releases, issue responses, and fit for your project with the repository shortlisting checklist.

AI development signals

0 paths

Agent instructions and tool configuration found in this repository.

No config files detected.

Growth history

Tracked growth

1 observed capture since 2026-11-01. Observed captures are shown by default.

Stars from first capture 0

Chart data

Observed captures only

Time horizon

All tracked data

Custom date range

Stars history

Observed snapshots

Commits history

Observed snapshots

Similar repositories

Nearest indexed repositories by embedding similarity.

verdaccio/verdaccio

A lightweight Node.js private proxy registry

17,938 stars
TypeScript 1 awesome list

rust-lang/rust

Empowering everyone to build reliable and efficient software.

120,947 stars
Rust 1 awesome list

zeroclaw-labs/zeroclaw

Fast, small, and fully autonomous AI personal assistant infrastructure, any OS, any platform — deploy anywhere, swap anything 🦀

32,995 stars
Rust 3 awesome lists

amethyst/amethyst

Data-oriented and data-driven game engine written in Rust

8,038 stars
Rust 1 awesome list

vinhnx/VTCode

VT Code is an open-source Rust terminal coding agent.

881 stars
Rust 1 awesome list

vuesion/vuesion

Vuesion is a boilerplate that empowers product teams to build faster with modern best practices across engineering and design. It features a full-stack framework, comprehensive design system, robust testing, and seamless internationalization.

2,873 stars
Vue 1 awesome list