Pinned Loading

1. shua.github.io shua.github.io Public

   personal site

   C

2. leanknot leanknot Public

   Some formalizations of knot theory ideas in lean

   Lean 5 2

3. gpodrs gpodrs Public

   minimal gpodder.net server

   Rust 1

4. hdl hdl Public

   junk drawer for hdl stuff

   C

5. lang-noodles lang-noodles Public

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

   Rust

6. graf graf Public

   print grafana data in your terminal

   Rust 2