appleprivacyletter. An open letter against Apple's new privacy-invasive client-side content scanning.
62316iax10h-linux-sound-saga. Actual, complete solution for Linux audio on the Lenovo Legion Pro 7i Gen 10 (16IAX10H)
257binkybox. Keyboard shortcuts for virtual desktops on Windows
56appliedcryptography. Mirror. Canonical repository available at https://git.cedarcrypt.org.
23lenovo-bios-fwupd. Install Lenovo Legion Pro 7I (and similar models) BIOS firmware updates on Linux, without needing Windows.
6diskgem. Software for secure file transfer over SFTP.
2nyu-paris-cs. Archive of the courses I designed/taught at NYU Paris in 2019.
2maze-cafe. Generate mazes with exactly one solution and draw them nicely on a canvas.
2protocol-ladder. A set of cryptographic proofs for simple protocols, to be formalised in various tools.
1memorydot. macOS app that shows a memory pressure indicator in your menu bar.
1