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 · Python

Any
Python13,665
TypeScript8,216
JavaScript4,953
Go3,547
Rust3,498
C++3,433
HTML3,016
C2,397
Java2,013
C#1,711
Kotlin1,398
Shell1,269
Swift1,206
PHP1,117
Ruby556
Jupyter Notebook467
Dart438
Lua309
PowerShell227
CSS212
Vue211
Scala174
Objective-C131
QML129
TeX121

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

All Software Libraries Resources

Search: theorem-proving · Language: Python · 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