Pinned Loading

1. pynandpynandPublic

   Nand2Tetris in Python.

   Python 17 6

2. nandrsnandrsPublic

   Yet Another "From Nand to Tetris"; this time in Rust, with better ideas and LLM doing most of the work

   Rust

3. spelling-beespelling-beePublic

   Solve the Spelling Bee puzzle with/against your friends.

   Elm

4. lens-explorerlens-explorerPublic

   An interactive tool for exploring the types of Haskell’s lens package, and an excuse to play with Elm.

   HTML

5. invertible-syntaxinvertible-syntaxPublic

   Invertible syntax and partial isomorphisms for Scala

   Scala 31 3

6. loraxloraxPublic

   Extensible syntax, meta-programming, and a little typography.

   TeX 1