All repos — GH Trending Explorer

📈 GH Trending Explorer

⚠ Updated 2026-11-04 10:02 UTC 🎲 Surprise me

Browse

🔭 All repos 74,317 repos 🌱 New repos 29,153 repos 💎 Hidden gems 5,434 repos 🔥 On GitHub Trending 1,103 repos 🧭 Explore by category top movers in every field

Filter

Hide AI / LLM repos

Languages · Scala

Any
Python16,505
TypeScript9,507
JavaScript6,134
Rust4,215
C++4,114
Go4,007
HTML3,621
C2,975
Java2,312
C#2,009
Kotlin1,732
Shell1,506
Swift1,468
PHP1,365
Ruby653
Jupyter Notebook556
Dart520
Lua365
PowerShell289
CSS288
Vue250
Scala191
Objective-C182
QML153
Elixir148

Categories

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

All Software Libraries Resources

Search: aplus · Language: Scala · AI hidden · clear

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

▲ ~6/7d ★ 623 Scala 24d ago

GH Trending Explorer · tracking 78,403 repos · 18 days of star history (latest 2026-11-06) · data from the GitHub API and github.com/trending