Simple webserver being used for TLA+ override operator (formal methods with babashka!) https://github.com/pfeodrippe/ummoi/blob/master/examples/example_bb.clj

Created 3 pod examples here: https://github.com/borkdude/babashka/tree/master/examples/pods. One in Clojure, one in Python by @rahul080327 and one in Rust. Still have to write some docs. Maybe some of you could try it locally. Let me know what you think. More info about what pods are here: https://github.com/borkdude/babashka/issues/411