All repos — GH Trending Explorer

📈 GH Trending Explorer

🎲 Surprise me

Browse

🔭 All repos 64,742 repos 🌱 New repos 26,594 repos 💎 Hidden gems 3,895 repos 🔥 On GitHub Trending 1,123 repos 🧭 Explore by category top movers in every field

Filter

Hide AI / LLM repos

Languages · C++

Any
Python14,371
TypeScript8,536
JavaScript5,243
Go3,675
Rust3,663
C++3,593
HTML3,121
C2,518
Java2,087
C#1,799
Kotlin1,468
Shell1,342
Swift1,267
PHP1,252
Ruby589
Jupyter Notebook502
Dart466
Lua323
PowerShell244
CSS238
Vue231
Scala183
Objective-C142
QML135
Elixir129

Categories

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

All Software Libraries Resources

Search: theorem-proving · Language: C++ · clear

lean-dojo / LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

▲ ~2/7d ★ 1.3k C++ 11d ago

GH Trending Explorer · tracking 64,919 repos · 5 days of star history (latest 2026-10-24) · data from the GitHub API and github.com/trending