Pinned Loading

1. shua.github.ioshua.github.ioPublic

   personal site

   C

2. leanknotleanknotPublic

   Some formalizations of knot theory ideas in lean

   Lean 5 3

3. gpodrsgpodrsPublic

   minimal gpodder.net server

   Rust 1

4. hdlhdlPublic

   junk drawer for hdl stuff

   C

5. lang-noodleslang-noodlesPublic

   A dump of language and typing paper implementations, and my own experiments

   Rust

6. grafgrafPublic

   print grafana data in your terminal

   Rust 2