Spectral Renga is a collaborative graph of poetry.
Antiquitysort is a mission to restore the well-ordering of our cultural histories.
Sumcheck is a decider for Presburger arithmetic.