All repos — GH Trending Explorer

📈 GH Trending Explorer

🎲 Surprise me

Browse

🔭 All repos 65,973 repos 🌱 New repos 27,004 repos 💎 Hidden gems 4,272 repos 🔥 On GitHub Trending 1,124 repos 🧭 Explore by category top movers in every field

Filter

Hide AI / LLM repos

Languages

Any
Python14,651
TypeScript8,664
JavaScript5,349
Rust3,755
Go3,737
C++3,675
HTML3,175
C2,594
Java2,124
C#1,832
Kotlin1,514
Shell1,361
Swift1,304
PHP1,274
Ruby596
Jupyter Notebook503
Dart479
Lua331
PowerShell249
CSS239
Vue229
Scala182
Objective-C153
QML144
Elixir131

Categories

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

All Software Libraries Resources

Search: theorm · clear

palemorrow / rumus

regex matching via derivatives + language equivalence

▲ 30/7d ★ 30 Agda 7d ago

GH Trending Explorer · tracking 66,561 repos · 7 days of star history (latest 2026-10-26) · data from the GitHub API and github.com/trending