SICL, a new, modular, implementation of Common Lisp to be.
Vellvm: Verifying the LLVM, a framework for reasoning about programs expressed in LLVM’s intermediate representation and transformations that operate on it. The framework is built using the Coq interactive theorem prover. It includes multiple operational semantics and proves relations among them to facilitate different reasoning styles and proof techniques.
RFC 7217: A Method for Generating Semantically Opaque Interface Identifiers with IPv6 Stateless Address Autoconfiguration (SLAAC), this is what dhcpcd’s “slaac private” does.
Energy-efficient bcrypt cracking
The Semantics of Software, yes please, write changelogs!
High-performance packet filtering with pflua
Marian Rejewski and the First Break into Enigma
NARS2000: An Experimental APL Interpreter, under GPL-3. Windows only.
SSH server for DOS, faking it with qemu. Neat.
Cooking in the Archives, Updating Early Modern Recipes (1600-1800) in a Modern Kitchen.