sdiehl

Activity

Stars and mentions · Last 30 days, Oct 6 – Nov 4

GitHub stars35
Mentions2
02468Oct 6Oct 20Nov 4
UTC days · repositories sdiehl owns15 repositories

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 50 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.