Import of OpenBSD/arm64, hooray!
RISCVEMU is a system emulator for the RISC-V architecture, by the one and only Fabrice Bellard.
Mathematical Components is the name of a library of formalized mathematics for the Coq system. New book by Assia Mahboubi and Enrico Tassi about it is public now.
Why Constant-Time Crypto?, by BearSSL author Thomas Pornin.
Curta Calculator Type I, ready for 3D printing.
Rogue One: A Star Wars Story of UX design.
ThreadTone, a halftone representation of an image using nothing but thread.