All repos — GH Trending Explorer

📈 GH Trending Explorer

🎲 Surprise me

Browse

🔭 All repos 61,934 repos 🌱 New repos 25,404 repos 💎 Hidden gems 2,333 repos 🔥 On GitHub Trending 1,086 repos 🧭 Explore by category top movers in every field

Filter

Hide AI / LLM repos

Languages

Any
Python13,740
TypeScript8,245
JavaScript4,983
Go3,566
Rust3,516
C++3,446
HTML3,024
C2,408
Java2,022
C#1,718
Kotlin1,401
Shell1,275
Swift1,213
PHP1,119
Ruby559
Jupyter Notebook470
Dart444
Lua309
PowerShell231
CSS216
Vue213
Scala175
Objective-C131
QML129
TeX121

Categories

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

All Software Libraries Resources

Search: interactive-theorem-proving · clear

FStarLang / FStar

A Proof-oriented Programming Language

▲ ~7/7d ★ 3.1k F* today

GH Trending Explorer · tracking 62,933 repos · 3 days of star history (latest 2026-10-22) · data from the GitHub API and github.com/trending