Knuckledragger

## Egglog0 and Egglog <https://www.philipzucker.com/egglog0/> ## CBAT https://www.ndss-symposium.org/wp-content/uploads/bar2024-9-paper.pdf https://github.com/draperlaboratory/cbat_tools ## VIBES https://github.com/draperlaboratory/VIBES ## Awesome E-Graphs ## Pcode2C https://github.com/philzook58/pcode2c ## Flappy Bird MPC https://github.com/philzook58/FlapPyBird-MPC ## ZIPY - Inverted Pendulum YakShave https://github.com/philzook58/cart_pole https://cad.onshape.com/documents/0c9cb62ee8c98129226725b1/w/354a73b7d877f36fc06b8590/e/3254e7baca6a2053be4aa0fe https://hackaday.io/project/158289-zipy-zipy-inverted-pendulum-yakshave http://www.philipzucker.com/model-predictive-control-of-cartpole-in-openai-gym-using-osqp/ http://www.philipzucker.com/cartpole-camera-system-opencv-ps-eye-ir/ http://www.philipzucker.com/cartpole-maths/ http://www.philipzucker.com/cartpole-workin-boyeee/ ## Reality as a Service (RaaS) ##