Repositories

sdiehl repositories

172 supported repositories

Show repositories with indexed issues
sdiehl/tiny-egraphRust

A minimal e-graph implementation in Rust.

Last commit Jun 21, 2026

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/tiny-gaLean

Minimal implementation of generalized Clifford algebra library in Lean 4

Last commit Jun 21, 2026

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/tiny-gpt2Python

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

Last commit Jul 27, 2026

 (23 stars) (2 forks) (0 indexed issues) (0 open good first issues)
sdiehl/tiny-graphragPython

A tiny 1000 line implementation of GraphRAG in Python

Last commit Nov 5, 2025

 (94 stars) (18 forks) (0 indexed issues) (0 open good first issues)
sdiehl/tiny-kernelRust

A tiny dependent type kernel and elaborator

Last commit Aug 13, 2026

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/tiny-metafRust

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

Last commit Aug 6, 2026

 (4 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/tiny-ottRust

Minimal observational type theory in Rust

Last commit Aug 14, 2026

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/tiny-qttRust

doing quantitative type theory for the lolz

Last commit Aug 16, 2026

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/tiny-r1Python

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

Last commit Feb 10, 2025

 (22 stars) (3 forks) (0 indexed issues) (0 open good first issues)
sdiehl/tinyjitHaskell

Haskell JIT

Last commit Jan 19, 2020

 (188 stars) (9 forks) (0 indexed issues) (0 open good first issues)
sdiehl/tinynnPython

A minimalist neural network implementation in Python

Last commit Mar 14, 2025

 (4 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/tipyPython

Preprocessor for Python tutorials

Last commit Aug 6, 2012

 (3 stars) (1 fork) (0 indexed issues) (0 open good first issues)
sdiehl/tsC

Last commit May 9, 2015

 (5 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/typechecker-zooRust

A menagerie of cute implementations of modern typechecking algorithms

Last commit Aug 14, 2026

 (449 stars) (17 forks) (0 indexed issues) (0 open good first issues)
sdiehl/unboundRust

Rust Macros for managing names and binders in abstract syntax trees

Last commit Feb 17, 2026

 (5 stars) (1 fork) (0 indexed issues) (0 open good first issues)
sdiehl/unbound-genericsHaskell

A reimplementation of Unbound using GHC Generics.

Last commit Oct 6, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/uniqueidHaskell

Splittable Unique Identifier Supply for Haskell

Last commit Sep 25, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/unirewriteHaskell

Generic term rewriting

Last commit Feb 12, 2014

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/universal-mcp-installerPython

Universal Installer for Python MCP Servers

Last commit Jun 10, 2025

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/usolverPython

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

Last commit May 19, 2026

 (65 stars) (8 forks) (0 indexed issues) (0 open good first issues)