Dear Matt and Miles,
I recently wrote a code for TDVP of infinite MPSs in part of my research. I see that in the external code section of iTensor, there is only TDVP for finite MPSs, so I thought it might be good to share the iTDVP code, which is here on github: https://github.com/yantaow/iTDVP/tree/master
The code is based on iTensor (C++, v3) and does not require any external libraries. It has a class for infinite MPSs, which can i) bring the iMPS to the canonical form iteratively, ii) compute the quasi-fixed point of the MPO-transfer matrix, and iii) perform the TDVP for iMPS.
This code is also a good starting point to write, for example the VUMPS algorithm, because of its iMPS member functions.
I have benefited greatly from the codes from iTensor, so I thought it might be good to contribute back a tiny bit.
Anyways, please let me know whether you are interested. The final code on github is already in a pretty good shape.