# GitHub repos by sdiehl

<https://repo.masters-masters.com/en/owners/sdiehl>

[Home](https://repo.masters-masters.com/en) › [sdiehl](https://repo.masters-masters.com/en/owners/sdiehl)

All 15 public GitHub repos by sdiehl in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by sdiehl

15 public repos by sdiehl in the catalog, most starred first.

- [sdiehl/write-you-a-haskell · ★ 3,488 · Rust · RC](https://repo.masters-masters.com/en/repos/sdiehl/write-you-a-haskell)
- [sdiehl/wiwinwlh · ★ 2,667 · Haskell · RC](https://repo.masters-masters.com/en/repos/sdiehl/wiwinwlh)
- [sdiehl/kaleidoscope · ★ 1,039 · Haskell · Beta](https://repo.masters-masters.com/en/repos/sdiehl/kaleidoscope)
- [sdiehl/bulletproofs · ★ 555 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/sdiehl/bulletproofs)
- [sdiehl/typechecker-zoo · ★ 466 · Rust · Alpha](https://repo.masters-masters.com/en/repos/sdiehl/typechecker-zoo)
- [sdiehl/numpile · ★ 411 · Jupyter Notebook · Alpha](https://repo.masters-masters.com/en/repos/sdiehl/numpile)
- [sdiehl/gevent-tutorial · ★ 381 · HTML · Alpha](https://repo.masters-masters.com/en/repos/sdiehl/gevent-tutorial)
- [sdiehl/wasm · ★ 354 · WebAssembly · Alpha](https://repo.masters-masters.com/en/repos/sdiehl/wasm)
- [sdiehl/tinyjit · ★ 188 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/sdiehl/tinyjit)
- [sdiehl/prism · ★ 171 · Rust · Prototype](https://repo.masters-masters.com/en/repos/sdiehl/prism)
- [sdiehl/minichat · ★ 133 · Python · Prototype](https://repo.masters-masters.com/en/repos/sdiehl/minichat)
- [sdiehl/mlir-egglog · ★ 133 · Python · Prototype](https://repo.masters-masters.com/en/repos/sdiehl/mlir-egglog)
- [sdiehl/zero-to-qed · ★ 128 · Lean · Prototype](https://repo.masters-masters.com/en/repos/sdiehl/zero-to-qed)
- [sdiehl/kaylee · ★ 121 · Python · Prototype](https://repo.masters-masters.com/en/repos/sdiehl/kaylee)
- [sdiehl/repline · ★ 107 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/sdiehl/repline)

## See sdiehl on GitHub

- [https://github.com/sdiehl](https://github.com/sdiehl)

---
Data: GitHub