sdiehl

Stephen Diehl Joined Apr 2010 3,505 followers View on GitHub

Stars: 12,530; across 123 public repos
Rank: #2,409; of 323,848 users, top 0.7%; New on the board this week

Repositories with 50+ stars

sdiehl's repositories with their overall rank
Rank	Repository	Language	Stars
19,176	write-you-a-haskell Building a modern functional compiler from first principles.	Rust	3,492
25,490	wiwinwlh What I Wish I Knew When Learning Haskell	Haskell	2,667
64,162	kaleidoscope Haskell LLVM JIT Compiler Tutorial	Haskell	1,040
114,000	bulletproofs Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup	Haskell	556
133,436	typechecker-zoo A menagerie of cute implementations of modern typechecking algorithms	Rust	466
149,147	numpile A tiny 1000 line LLVM-based numeric specializer for scientific Python code.	Jupyter Notebook	411
159,036	gevent-tutorial Gevent tutorial for the Working Python Developer	HTML	382
170,137	wasm Haskell compiler infastructure for WebAssembly	WebAssembly	354
290,552	tinyjit Haskell JIT	Haskell	188
312,786	prism A functional language with algebraic effects, multishot continuations, and native codegen	Rust	172
384,074	mlir-egglog A toy compiler for NumPy array expressions that uses e-graphs and MLIR	Python	134
386,337	minichat Minimal realtime chat application ( Tutorial )	Python	133
395,932	zero-to-qed From Zero to QED: An informal introduction to formality with Lean 4	Lean	129
416,699	kaylee MapReduce with ZeroMQ	Python	121
459,235	repline Haskeline wrapper for GHCi-like REPL interfaces	Haskell	107
503,967	papers		95
508,071	tiny-graphrag A tiny 1000 line implementation of GraphRAG in Python	Python	94
530,478	zkp A framework to execute and verify algorithms using Groth16 zkSNARKs.	Haskell	89
550,054	sympy-mcp A MCP server for symbolic manipulation of mathematical expressions	Python	85
560,660	dive-into-ghc Dive into GHC	Haskell	83
560,660	arithmetic-circuits Arithmetic circuits for zero knowledge proof systems	Haskell	83
588,885	cabal-edit A utility for managing Hackage dependencies and manipulating Cabal files from the command line.	Haskell	78
594,814	zurihac-crypto Small minimal examples of modern cryptographic techniques in Haskell	Haskell	77
594,814	schnorr-nizk Schnorr Protocol for Non-interactive Zero-Knowledge Proofs	Haskell	77
687,796	usolver A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.	Python	64
696,124	haskell-vim-proto Basic starter config for Vim and Haskell	Vim Script	63
723,126	double-ratchet Double ratchet algorithm for E2E encryption	Haskell	60
774,412	pairing Optimised bilinear pairings over elliptic curves	Haskell	55
797,197	zeromq-chat A gevent + Django + Socket.IO + ZeroMQ chat example	Python	53
809,321	galois-field Finite field and algebraic extension field arithmetic	Haskell	52

Among 323,848 users

10k–16k stars: 1,476 users, including sdiehl

top 50%top 10%top 1%top 0.1%

Stars along the bottom, and users in each band on a log scale

Where the stars are

Languages

Haskell 5.2k stars, 42% · 14 repos
Rust 4.1k stars, 33% · 3 repos
Python 684 stars, 5% · 7 repos
Jupyter Notebook 411 stars, 3% · 1 repo
HTML 382 stars, 3% · 1 repo
WebAssembly 354 stars, 3% · 1 repo
Lean 129 stars, 1% · 1 repo
Vim Script 63 stars, 1% · 1 repo

When they were made

30 repos with 50+ stars, made between 2011 and 2026

101001k10k kaleidoscopewiwinwlhwrite-you-a-haskell

Quick stats

Next rank: +1 star to reach #2,408
Next milestone: +37,414 stars to reach the top 0.1%
Public repos: 123, 30 with 50+ stars
Popular repos: 15 over 100 stars, 3 over 1k stars
Top repo: write-you-a-haskell, #19,176 of all repos, 28% of stars
Smaller repos: 1,070 stars from repos under 50