GitHub repos by sdiehl
15 public repos by sdiehl in the catalog, most starred first.
- sdiehl/write-you-a-haskellStars: 3,488RustRC
- sdiehl/wiwinwlhStars: 2,667HaskellRC
- sdiehl/kaleidoscopeStars: 1,039HaskellBeta
- sdiehl/bulletproofsStars: 555HaskellAlpha
- sdiehl/typechecker-zooStars: 465RustAlpha
- sdiehl/numpileStars: 411Jupyter NotebookAlpha
- sdiehl/gevent-tutorialStars: 381HTMLAlpha
- sdiehl/wasmStars: 354WebAssemblyAlpha
- sdiehl/tinyjitStars: 188HaskellPrototype
- sdiehl/prismStars: 171RustPrototype
- sdiehl/minichatStars: 133PythonPrototype
- sdiehl/mlir-egglogStars: 133PythonPrototype
- sdiehl/zero-to-qedStars: 128LeanPrototype
- sdiehl/kayleeStars: 121PythonPrototype
- sdiehl/replineStars: 107HaskellPrototype