Skip to content
View sdiehl's full-sized avatar
🎄
🎄
3.3k followers · 975 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Highlights

  • Pro

Organizations

@pydata @DataHaskell @llvm-hs @protolude

Block or report sdiehl

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
sdiehl/README.md

Hi there 👋

I'm a software engineer in London. I build software and write about software.

Connect with me

Personal Website Bluesky LinkedIn

Technologies

The following is a list of technologies I specialize in and utilize.

🏗️ Languages
Python, TypeScript, Rust, C++, Haskell, OCaml, Lean

Pinned Loading

  1. zero-to-qed zero-to-qed Public

    From Zero to QED: An informal introduction to formality with Lean 4

    Lean 4

  2. typechecker-zoo typechecker-zoo Public

    A menagerie of cute implementations of modern typechecking algorithms

    Rust 355 13

  3. mlir-egglog mlir-egglog Public

    A toy compiler for NumPy array expressions that uses e-graphs and MLIR

    Python 112 10

  4. bulletproofs bulletproofs Public

    Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

    Haskell 546 48

  5. tiny-graphrag tiny-graphrag Public

    A tiny 1000 line implementation of GraphRAG in Python

    Python 90 15

  6. wiwinwlh wiwinwlh Public

    What I Wish I Knew When Learning Haskell

    Haskell 2.6k 242