Skip to content
View sdiehl's full-sized avatar
3.3k followers · 933 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

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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 294 9

  2. mlir-egglog mlir-egglog Public

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

    Python 104 7

  3. bulletproofs bulletproofs Public

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

    Haskell 542 48

  4. tiny-graphrag tiny-graphrag Public

    A tiny 1000 line implementation of GraphRAG in Python

    Python 87 15

  5. wiwinwlh wiwinwlh Public

    What I Wish I Knew When Learning Haskell

    Haskell 2.6k 244

  6. usolver usolver Public

    A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.

    Python 55 6