Timsort is presumptively the best-known thing, but he did quite a lot else for core CPython development. As far as I can tell, most of it actually relates to algorithms for handling large integers and the Decimal data type.