Cart-pole lab: Swing a pole up from hanging and balance it on a cart with a short track: energy shaping, LQR, a region-of-attraction gate, a barrier function on the track, and learners you train in the browser.