GitHub Trending Topics Languages

/

GitHub Trending

Discover the most-followed developers in the GitStar community today.

Repositories Developers

Language:Date range:

GitHub Trending developers

1

teorthteorth

Popular reposendov

Popular repo

2

Kim Morrisonkim-em

Popular repolean-zip

Popular repo

3

Riccardo Brascariccardobrasca

Popular repoSDG

Synthetic Differential Geometry in Lean

4

Eric Wiesereric-wieser

Popular repolean-matrix-cookbook

The matrix cookbook, proved in the Lean theorem prover

See what the GitStar community is most excited about today.

Trending

GitHub Trending Today GitHub Trending Weekly GitHub Trending Monthly

Languages

Browse all languages Trending Python Trending JavaScript

Explore

Browse GitHub topics AI repositories Developer tools

© 2026 GitStarGitHub Trending source