What is C in practice?, by Kayvan Memarian and Peter Sewell.
Js Coq, Coq running in the browser, thanks to js_of_ocaml.
s2n is a C99 implementation of the TLS/SSL protocols that is designed to be simple, small, fast, and with security as a priority. It is released and licensed under the Apache Software License 2.0.
Erlang master classes at the University of Kent. Presented by Joe Armstrong, Francesco Cesarini, and Simon Thompson.
Portable Utah Standard LISP, running on modern systems.
Elymas, a bootstrapped stack programming language.
narrowed-page-navigation-mode is an Emacs minor mode that provides keybindings for showing only one page at a time. This is intended to be useful primarily for presentations and live coding, where it might be convenient to avoid distractions for the audience.
pkfix can replace TeX’s bitmap fonts with outline fonts in .ps files. Wish I had known about this years ago…
The annoying boxes puzzle, Mark Dominus being annoying. ;)