sdiehl

Stars and mentions

Last 30 days, Oct 5 – Nov 3

GitHub stars35
mentions2
02468Oct 5Oct 19Nov 3
UTC days · repositories sdiehl owns15 repositories

Package downloads

Cumulative recorded downloads

crates.io—
01234Oct 5Oct 19Nov 3No observations in this range
Oct 5crates.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 40 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

Achievements

Awards earned by the repositories sdiehl 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.