All repos — GH Trending Explorer

📈 GH Trending Explorer

🎲 Surprise me

Browse

🔭 All repos 63,510 repos 🌱 New repos 26,385 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: coq-formalization · clear

math-comp / math-comp

Mathematical Components

▲ ~2/7d ★ 703 Rocq Prover 1d ago

MetaRocq / metarocq

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

▲ ~0/7d ★ 561 Rocq Prover 10d 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