NoChop-vs-QuickSort
Theory (white-paper) & Practice (algorithms raced empirically)
NoChop-vs-BinaryChop
Theory (white-paper) & Practice (algorithms raced empirically)
NoChop-vs-BTree
Theory (white-paper) & Practice (algorithms raced empirically)
SymbolicProcessor
Theory (white-paper) & Proof-of-Concept (command-line)