All repos — GH Trending Explorer

📈 GH Trending Explorer

🎲 Surprise me

Browse

🔭 All repos 61,934 repos 🌱 New repos 25,941 repos 💎 Hidden gems 2,357 repos 🔥 On GitHub Trending 1,086 repos 🧭 Explore by category top movers in every field

Filter

Hide AI / LLM repos

Languages

Any
Python13,745
TypeScript8,244
JavaScript4,978
Go3,565
Rust3,515
C++3,446
HTML3,025
C2,409
Java2,023
C#1,718
Kotlin1,401
Shell1,273
Swift1,213
PHP1,118
Ruby559
Jupyter Notebook469
Dart443
Lua310
PowerShell230
CSS215
Vue214
Scala175
Objective-C131
QML129
TeX121

Categories

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

All Software Libraries Resources

Search: proof-assistant · clear

No repos match.

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