sdiehl

Stars and mentions

Last 30 days, Oct 4 – Nov 2

GitHub stars35
mentions2
02468Oct 4Oct 18Nov 2
UTC days · repositories sdiehl owns15 repositories

Package downloads

Cumulative recorded downloads

crates.io—
01234Oct 4Oct 18Nov 2No observations in this range
Oct 4crates.io: 0/11 packages observed

Across 11 known packages in repositories sdiehl owns. Cumulative totals include recorded downloads before the selected range. Missing observations leave gaps; totals may be incomplete.

Top repositories

sdiehl’s repositories ranked by new stars, as on trending.

Loading

Contributes to

Repositories outside sdiehl’s account where sdiehl opened or reviewed pull requests in the past 365 days.

Who noticed sdiehl

Everyone who starred or forked sdiehl’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.

Mentions

2posts
Nov 30 posts
  1. いつかやろうと思っていたHaskellで処理系を書く記事が数年ぶりに更新されてる〜 sdiehl/write-you-a-haskell

    1 like · 89 views
  2. nano-lean: A minimalist (but complete) Lean type checker in Rust built on unbound, using de Bruijn indices for binders sdiehl/nano-lean

    1 like · 110 views
Trending awards, every completed day and week
Gold
01st place finishes
Silver
02nd place finishes
Bronze
03rd place finishes
Awarded repositories
0Owned by sdiehl now

No trending awards yet

None of the repositories sdiehl 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.