By Tim Smith

A new edition of the classic stories, written and illustrated by AI.

By Tim Smith

An accessible front end.

By Tim Smith

What are the "best" books on Goodreads?

By Tim Smith

Which geographical points have the most restaurants within walking distance?

By Tim Smith

A proof of God by Leibniz, formalized in the Oak proof checker.

By Tim Smith

An automatically generated IMDb list.

By Tim Smith

The United States Code in readable, editable Markdown.

By Tim Smith

Ruby implementations of various voting systems.

By Tim Smith

How many colors do you know?

By Tim Smith

A list of "milestone" videos.

By Tim Smith

A proof checker focused on simplicity, readability, and ease of use.

By Tim Smith

Tool to generate "Secret Santa" gift assignments.

By Tim Smith

Extending LilyPond to render music in the alternative notation "Numbered Notes".

By Tim Smith

Producing an e-book of The Apocalypse of Nature, a 1790 work by John "Walking" Stewart.

By Tim Smith

Which translation of the Odyssey is right for you?