PinnedLoading

1. tlsdtlsdPublic

   Generate (message) sequence diagrams from TLA+ state traces

   Python 73 1

2. ClickMuteJackClickMuteJackPublic

   Eliminates input device noise from a jack stream by muting it, based on evdev event timing

   Rust 8

3. mxrxtxmxrxtxPublic

   Transfer files over Matrix, directly from client to client with WebRTC.

   Rust 15

4. TeslaBotTeslaBotPublic

   Slack/Matrix bot for interfacing with Tesla cars

   Python 2 1

5. midihidimidihidiPublic

   Convert MIDI input to linux evdev input with uinput and Jack

   Rust 2

6. memgrepmemgrepPublic

   Tool for grepping the memory of processes

   Rust 11