Repository

Repository di sdiehl

172 repository supportati

Mostra repository con issue indicizzate
sdiehl/tiny-egraphRust

A minimal e-graph implementation in Rust.

Ultimo commit 21 giu 2026

 (2 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/tiny-gaLean

Minimal implementation of generalized Clifford algebra library in Lean 4

Ultimo commit 21 giu 2026

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/tiny-gpt2Python

A reference implementation of GPT-2 in Python, for teaching ML compilers

Ultimo commit 27 lug 2026

 (23 star) (2 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/tiny-graphragPython

A tiny 1000 line implementation of GraphRAG in Python

Ultimo commit 5 nov 2025

 (94 star) (18 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/tiny-kernelRust

A tiny dependent type kernel and elaborator

Ultimo commit 13 ago 2026

 (3 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/tiny-metafRust

Code-golfing a typed System-Fω circular self-interpreter

Ultimo commit 6 ago 2026

 (4 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/tiny-ottRust

Minimal observational type theory in Rust

Ultimo commit 14 ago 2026

 (2 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/tiny-qttRust

doing quantitative type theory for the lolz

Ultimo commit 16 ago 2026

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/tiny-r1Python

Recreating the minimal training methods of DeepSeek-R1 for small langauge models.

Ultimo commit 10 feb 2025

 (21 star) (3 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/tinyjitHaskell

Haskell JIT

Ultimo commit 19 gen 2020

 (188 star) (9 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/tinynnPython

A minimalist neural network implementation in Python

Ultimo commit 14 mar 2025

 (4 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/tipyPython

Preprocessor for Python tutorials

Ultimo commit 6 ago 2012

 (3 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/tsC

Ultimo commit 9 mag 2015

 (5 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/typechecker-zooRust

A menagerie of cute implementations of modern typechecking algorithms

Ultimo commit 14 ago 2026

 (451 star) (17 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/unboundRust

Rust Macros for managing names and binders in abstract syntax trees

Ultimo commit 17 feb 2026

 (5 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/unbound-genericsHaskell

A reimplementation of Unbound using GHC Generics.

Ultimo commit 6 ott 2014

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/uniqueidHaskell

Splittable Unique Identifier Supply for Haskell

Ultimo commit 25 set 2019

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/unirewriteHaskell

Generic term rewriting

Ultimo commit 12 feb 2014

 (3 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/universal-mcp-installerPython

Universal Installer for Python MCP Servers

Ultimo commit 10 giu 2025

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/usolverPython

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

Ultimo commit 19 mag 2026

 (65 star) (8 fork) (0 issue indicizzate) (0 good first issue aperte)