Stars and mentions
Last 30 days, Oct 4 – Nov 2
Package downloads
Top repositories
TauCetiProject’s repositories ranked by new stars, as on trending.
Contributes to
Repositories outside TauCetiProject’s account where TauCetiProject opened or reviewed pull requests in the past 365 days.
Who noticed TauCetiProject
Everyone who starred or forked TauCetiProject’s repositories since the archive began in 2011.
Notable accounts
Ordered by the stars their own repositories have received.
Biggest fans
Accounts that starred the most of these repositories.
Breakout weeks
Each repository’s best week of new stars, with the release published around it.
- Gold
- 01st place finishes
- Silver
- 02nd place finishes
- Bronze
- 03rd place finishes
- Awarded repositories
- 0Owned by TauCetiProject now
No trending awards yet
None of the repositories TauCetiProject owns has finished in the top three of a completed trending day or week, by stars, forks or PR authors. See who is trending now.
A repository earns an award for finishing first, second or third in a completed trending day or week, ranked by new stars, new forks or pull request authors. Awards follow a repository through renames and transfers and count toward its current owner. Weeks run Monday to Sunday, UTC.
Mentions
Проект формализации математики роботами TauCetiProject/TauCetiRoadmap Уже больше матлиб. Есть лишние токены - неси туда.
More specifically, a combination of mathlib (human, expert curated) and projects like TauCeti (AI-welcome complement to mathlib). See: TauCetiProject/TauCeti