All repos — GH Trending Explorer

📈 GH Trending Explorer

🎲 Surprise me

Browse

🔭 All repos 61,934 repos 🌱 New repos 25,404 repos 💎 Hidden gems 2,326 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,238
JavaScript4,985
Go3,565
Rust3,521
C++3,447
HTML3,023
C2,409
Java2,024
C#1,716
Kotlin1,400
Shell1,275
Swift1,209
PHP1,119
Ruby559
Jupyter Notebook470
Dart443
Lua309
PowerShell231
CSS215
Vue213
Scala175
Objective-C131
QML129
TeX121

Categories

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

All Software Libraries Resources

Search: cubical-type-theory · clear

No repos match.

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