Stars and mentions
Last 30 days, Oct 5 – Nov 3
Package downloads
Top repositories
TauCetiProject’s repositories ranked by pull request authors, 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.
Achievements
Awards earned by the repositories TauCetiProject owns. Select an award to embed its badge.
No awards yet
Repositories earn awards by reaching the top three in a completed trending day or week.
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