As an application of the invariant EKF in GTSAM, we added a state estimator for legged robots, along with some more factor-graph-heavy variants. Try it on your rosbags - especially interested in validating it with non-quadrupeds (bipeds, hexapods, spiders). It takes IMU and feet in body frame as inputs.