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
TauCetiProject/TauCeti avatar

TauCetiProject/TauCeti

GitHub

An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics

Lean192 stars65 forksApache-2.0

Momentum

TauCetiProject/TauCeti has 192 GitHub stars.

It currently ranks #43935 daily, #43961 weekly, #44595 monthly by momentum on Trending Repos; its best-ever rank is #35293.

Rankings

PeriodRankScore
Daily
#439350.0
Weekly
#439610.0
Monthly
#445950.0
How scoring works

Engagement

Total stars
Daily new stars

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 #35293
TauCetiProject/TauCeti badge
Markdown