https://github.com/pfeodrippe/recife 0.18.0 - A Clojure model checker (check the https://recife.pfeodrippe.com/) • We are adding experimental support for Alloy (triggered by @taylor.jeremydavid) ◦ See https://github.com/pfeodrippe/recife/blob/master/test/recife/example/alloy/migration.clj ◦ REPL-focused • You can combine Recife with a webdriver (see https://recife.pfeodrippe.com/notebooks/recife/notebook/webdriver.html) • Other small improvements Also, the #recife channel was created!