NASA’s Voyager 1 Resumes Sending Engineering Updates to Earth
Lix is a modern, delicious implementation of the Nix package manager, focused on correctness, usability, and growth – and committed to doing right by its community.
New Foundations is consistent, a digitisation of Randall Holmes’ proof in Lean 4.
Periodic orbits for Newtonian planar three-body problem, by Xiaoming LI and Shijun LIAO.
Drawing hat tiling using Racket
Pytype checks and infers types for your Python code—without requiring type annotations.
Inclusive Sans is a text font designed for accessibility and readability.
MS-DOS v4.0, now MIT-licensed.
LGBTeX, a logo by Alessandra Sierra.