# Dépôts de sdiehl [Accueil](https://repo.masters-masters.com/) › [sdiehl](https://repo.masters-masters.com/owners/sdiehl) Les 15 dépôts GitHub publics de sdiehl, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de sdiehl 15 dépôts publics de sdiehl au catalogue, du plus étoilé au moins étoilé. - [sdiehl/write-you-a-haskell · ★ 3 488 · Rust · RC](https://repo.masters-masters.com/repos/sdiehl/write-you-a-haskell) - [sdiehl/wiwinwlh · ★ 2 667 · Haskell · RC](https://repo.masters-masters.com/repos/sdiehl/wiwinwlh) - [sdiehl/kaleidoscope · ★ 1 039 · Haskell · Bêta](https://repo.masters-masters.com/repos/sdiehl/kaleidoscope) - [sdiehl/bulletproofs · ★ 555 · Haskell · Alpha](https://repo.masters-masters.com/repos/sdiehl/bulletproofs) - [sdiehl/typechecker-zoo · ★ 466 · Rust · Alpha](https://repo.masters-masters.com/repos/sdiehl/typechecker-zoo) - [sdiehl/numpile · ★ 411 · Jupyter Notebook · Alpha](https://repo.masters-masters.com/repos/sdiehl/numpile) - [sdiehl/gevent-tutorial · ★ 381 · HTML · Alpha](https://repo.masters-masters.com/repos/sdiehl/gevent-tutorial) - [sdiehl/wasm · ★ 354 · WebAssembly · Alpha](https://repo.masters-masters.com/repos/sdiehl/wasm) - [sdiehl/tinyjit · ★ 188 · Haskell · Prototype](https://repo.masters-masters.com/repos/sdiehl/tinyjit) - [sdiehl/prism · ★ 171 · Rust · Prototype](https://repo.masters-masters.com/repos/sdiehl/prism) - [sdiehl/minichat · ★ 133 · Python · Prototype](https://repo.masters-masters.com/repos/sdiehl/minichat) - [sdiehl/mlir-egglog · ★ 133 · Python · Prototype](https://repo.masters-masters.com/repos/sdiehl/mlir-egglog) - [sdiehl/zero-to-qed · ★ 128 · Lean · Prototype](https://repo.masters-masters.com/repos/sdiehl/zero-to-qed) - [sdiehl/kaylee · ★ 121 · Python · Prototype](https://repo.masters-masters.com/repos/sdiehl/kaylee) - [sdiehl/repline · ★ 107 · Haskell · Prototype](https://repo.masters-masters.com/repos/sdiehl/repline) ## Voir sdiehl sur GitHub - [https://github.com/sdiehl](https://github.com/sdiehl) --- Données : GitHub