All repos — GH Trending Explorer

📈 GH Trending Explorer

🎲 Surprise me

Browse

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

Filter

Hide AI / LLM repos

Languages

Any
Python13,666
TypeScript8,217
JavaScript4,953
Go3,547
Rust3,496
C++3,434
HTML3,015
C2,397
Java2,014
C#1,711
Kotlin1,395
Shell1,270
Swift1,206
PHP1,117
Ruby556
Jupyter Notebook468
Dart439
Lua309
PowerShell226
CSS213
Vue212
Scala174
Objective-C131
QML129
TeX121

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

All Software Libraries Resources

Search: formal-specification · clear

PrincetonUniversity / VST

Verified Software Toolchain

★ 511 Rocq Prover 5d ago

GH Trending Explorer · tracking 61,655 repos · 1 day of star history (latest 2026-10-20) · data from the GitHub API and github.com/trending