Consulting: - Firmware for high-power EV chargers (Rust) - CI/build systems on Raspberry Pi's (NixOS) - Documentation for zk-STARK compiler (Rust) - So

Consulting: - Firmware for high-power EV chargers (Rust) - CI/build systems on Raspberry Pi's (NixOS) - Documentation for zk-STARK compiler (Rust) - Software for insurance back-office (Elixir) Personal: - Turtle graphics with HTML Canvas via WebAssembly (web-sys crate) - NixOS configuration for my laptops and Raspberry Pi's at home - SSH AuthorizedKeys management for distributing SSH keys - A pinyin editor for creating flashcards based on corpuses