Skip to content
View sdiehl's full-sized avatar
3.3k followers · 959 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. typechecker-zoo typechecker-zoo Public

    A menagerie of cute implementations of modern typechecking algorithms

    Rust 340 11

  2. compiler-crates compiler-crates Public

    Minimal examples of crates useful for compiler development

    Rust 21 1

  3. mlir-egglog mlir-egglog Public

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

    Python 109 7

  4. bulletproofs bulletproofs Public

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

    Haskell 544 48

  5. tiny-graphrag tiny-graphrag Public

    A tiny 1000 line implementation of GraphRAG in Python

    Python 89 14

  6. wiwinwlh wiwinwlh Public

    What I Wish I Knew When Learning Haskell

    Haskell 2.6k 242