All repos — GH Trending Explorer

📈 GH Trending Explorer

🎲 Surprise me

Browse

🔭 All repos 63,510 repos 🌱 New repos 26,097 repos 💎 Hidden gems 3,604 repos 🔥 On GitHub Trending 1,114 repos 🧭 Explore by category top movers in every field

Filter

Hide AI / LLM repos

Languages

Any
Python14,129
TypeScript8,412
JavaScript5,129
Go3,613
Rust3,598
C++3,515
HTML3,057
C2,469
Java2,059
C#1,766
Kotlin1,436
Shell1,315
Swift1,239
PHP1,224
Ruby579
Jupyter Notebook482
Dart458
Lua318
PowerShell242
CSS228
Vue220
Scala177
Objective-C136
QML133
Elixir124

Categories

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

All Software Libraries Resources

Search: homotopy-type-theory · clear

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory

▲ ~2/7d ★ 1.4k Rocq Prover 2d ago

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