Trending Repos
TrendingRisersNewestTopicsCollectionsCompare
TrendingRisersNewestTopicsCollectionsCompare
Trending Repos

Trending Repos tracks GitHub momentum from stars, forks, and rank history.

Explore

TrendingRisersNewestTopicsCollections

Tools

SearchCompareBadgesSubmit a repo

Project

AboutStatsDevelopersContactPrivacy
Back to trending
strata-org/Strata avatar

strata-org/Strata

GitHub
Lean199 stars51 forksApache-2.0

Momentum

strata-org/Strata has 199 GitHub stars. It gained +2 stars over 1 recorded day in the last 7 days and +3 over 4 recorded days in the last 30 days (snapshots through Jun 17, 2026).

Its biggest recent day was Jun 11, 2026, with +2 stars.

It currently ranks #35562 daily, #35803 weekly, #37004 monthly by momentum on Trending Repos; its best-ever rank is #2843.

Trending Repos first recorded it on May 28, 2026.

Rankings

PeriodRankScore
Daily
#355620.0
Weekly
#358030.0
Monthly
#370040.0
How scoring works

Engagement

Total stars
Daily new stars
Recent daily star gains
DateStars gainedTotal starsForks gained
Jun 11, 2026+2197+1
Jun 4, 2026+11930
Jun 3, 202601920
Jun 2, 202601920

Similar trending repositories

  • openai/mathLean17,491 stars#844 this week
  • leanprover/lean4Lean 4 programming language and theorem proverLean9,919 stars#1313 this week
  • leanprover-community/mathlib4The math library of Lean 4Lean4,469 stars#1750 this week
  • josevalim/lynxProofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)Lean200 stars#2872 this week
  • leanprover-community/physlibA project to digitalise results from physics into Lean.Lean835 stars#3264 this week
  • leanEthereum/leanVMMinimal zkVM for Ethereum.Lean184 stars#4370 this week

Embeds

Best rank #2843
strata-org/Strata badge
Markdown