"Wat nu" (Low German for "what now") is a command-line tool for GTD ("getting things done"). It is simplistic, tailored to the author's personal taste, and a work in progress.
A distance-vector routing protocol for IPv6 and IPv4.
A collection of mathematical knowledge in a formal, correct form.