Activity
Stars and mentions · Last 30 days, Oct 5 – Nov 3
Top repositories
pereq-dev’s repositories ranked by new forks, as on trending.
Contributes to
Repositories outside pereq-dev’s account where pereq-dev opened or reviewed pull requests in the past 365 days.
Who noticed pereq-dev
Everyone who starred or forked pereq-dev’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 pereq-dev 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
RustコードをLean4に変換するやつ pereq-dev/hax