This page is generated automatically from @sdiehl's public GitHub activity. It is not run, verified or endorsed by @sdiehl or by GitHub, and DevTrack never asks for a GitHub password.
Unclaimed profile
If you are @sdiehl, sign in with GitHub as @sdiehl to claim it: join the leaderboard, keep your 70,375 XP and tier, count private contributions, and get README badges. Only the owner of the GitHub account can claim it.
Building a modern functional compiler from first principles.
A menagerie of cute implementations of modern typechecking algorithms
A functional language with algebraic effects, multishot continuations, and native codegen
Built from public GitHub data and refreshed every few hours. Not affiliated with @sdiehl.
A toy compiler for NumPy array expressions that uses e-graphs and MLIR
From Zero to QED: An informal introduction to formality with Lean 4
A MCP server for symbolic manipulation of mathematical expressions