Pinned Loading

1. floppy-music floppy-music Public

   Python

2. gemini-chat-exporter gemini-chat-exporter Public

   Chrome extension to export Gemini chat sessions to Markdown, Word, HTML, or ZIP

   TypeScript

3. bil bil Public

   Bounded Invariant Logic (bil): specify, check and prove programs and state machines. Guarded commands, ontologies, LTL model checking, SMT proofs (z3/cvc5), Verus and native compilation. Apache-2.0.

   Rust

4. bilterm bilterm Public

   IBM 3270 Mainframe × DOS Borland Turbo Vision × TRON MCP composite-pane TUI multiplexer, native desktop GUI terminal (--gui), SSH/tmux fleet manager, and AI-automatable terminal emulator in Rust + …

   Rust 1 1

5. input-knob input-knob Public

   USB + Bluetooth volume/scroll/macro knob firmware for the Elecrow CrowPanel 1.28" ESP32-S3 rotary display (Arduino + LVGL)

   C++