All repos — GH Trending Explorer

📈 GH Trending Explorer

🎲 Surprise me

Browse

🔭 All repos 61,643 repos 🌱 New repos 25,762 repos 💎 Hidden gems 1,255 repos 🔥 On GitHub Trending 1,081 repos 🧭 Explore by category top movers in every field

Filter

Hide AI / LLM repos

Languages · Rust

Any
Python13,666
TypeScript8,216
JavaScript4,953
Go3,547
Rust3,498
C++3,433
HTML3,015
C2,397
Java2,013
C#1,711
Kotlin1,397
Shell1,269
Swift1,206
PHP1,117
Ruby556
Jupyter Notebook468
Dart439
Lua309
PowerShell226
CSS213
Vue211
Scala174
Objective-C131
QML129
TeX121

Hot (24h) Trending (7d) Trending (30d) Rising % Most stars Recently pushed Newest

All Software Libraries Resources

Search: prototype · Language: Rust · clear

verifast / verifast

Research prototype tool for modular formal verification of C, Rust and Java programs

★ 521 Rust 11d ago

GH Trending Explorer · tracking 61,873 repos · 2 days of star history (latest 2026-10-21) · data from the GitHub API and github.com/trending