variable-height-double-pendulum repository