Nixiosk — Declarative Kiosk systems built with NixOS
Tezos Ledger app — Tezos app for the Ledger hardware wallet
Protecting against cache-based attacks — paper on Spectre and Meltdown exploits
My Emacs+Nix IDE — integrated dot files for Emacs and Nix users
nix-bundle — bundle Nix packages into standalone executables
GPEmu — web emulator that uses Libretro cores compiled to JavaScript using Emscripten