Very cool! Would be fun to have some implicit integrators to play with, too. And visualizations of the symplectic form.