Pinned

1. tlsd tlsd Public

   Generate (message) sequence diagrams from TLA+ state traces

   Python 12

2. ClickMuteJack ClickMuteJack Public

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

   Rust 8

3. mxrxtx mxrxtx Public

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

   Rust 15

4. TeslaBot TeslaBot Public

   Slack/Matrix bot for interfacing with Tesla cars

   Python 2 1

5. midihidi midihidi Public

   Convert MIDI input to linux evdev input with uinput and Jack

   Rust 2

6. memgrep memgrep Public

   Tool for grepping the memory of processes

   Rust 8