A proof of God by Leibniz, formalized in the Oak proof checker.
An automatically generated IMDb list.
The United States Code in readable, editable Markdown.
Ruby implementations of various voting systems.
How many colors do you know?
A list of "milestone" videos.
A proof checker focused on simplicity, readability, and ease of use.
Tool to generate "Secret Santa" gift assignments.
Extending LilyPond to render music in the alternative notation "Numbered Notes".
Producing an e-book of The Apocalypse of Nature, a 1790 work by John "Walking" Stewart.
Which translation of the Odyssey is right for you?