Pinned Loading

1. octaveRounder octaveRounder Public

   MIDI Pedal for Arduino - Octave Rounding and Quartertones

   Arduino 10 3

2. maqam maqam Public

   real-time cli maqam cycle generator. rust.

   Rust 4 1

3. whiskeyTango whiskeyTango Public

   a safe token format without the complexity of JWT

   Go 3

4. microcms microcms Public

   a mini-CMS as a sqlite3+Go single-process-binary, full-text-indexing files as they are uploaded

   Go 2

5. leanFM leanFM Public

   Lean Formal Methods, based on communicating heirarchial processes.

   Lean 2

6. helper2 helper2 Public

   a cursor generated gig app for matching caregivers to patients with a chat interface.

   Go