All repos — GH Trending Explorer

📈 GH Trending Explorer

🎲 Surprise me

Browse

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

Filter

Hide AI / LLM repos

Languages

Any
Python13,751
TypeScript8,242
JavaScript4,986
Go3,565
Rust3,520
C++3,446
HTML3,022
C2,409
Java2,025
C#1,716
Kotlin1,400
Shell1,276
Swift1,209
PHP1,119
Ruby559
Jupyter Notebook470
Dart443
Lua309
PowerShell231
CSS215
Vue212
Scala175
Objective-C131
QML129
TeX121

Categories

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

All Software Libraries Resources

Search: isabelle · clear

No repos match.

GH Trending Explorer · tracking 63,913 repos · 4 days of star history (latest 2026-10-23) · data from the GitHub API and github.com/trending