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

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

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

All Software Libraries Resources

Search: lean4 · Language: TypeScript · clear

leanprover-community / lean4game

Server to host Lean games

★ 570 TypeScript today

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