Hi, just released a very crude version of Recife, a (yet very simple trying to be) model checker which was used on my Reclojure talk last year o/ https://github.com/pfeodrippe/recife
https://github.com/Tyruiop/aho is an implementation of the https://en.wikipedia.org/wiki/Aho%E2%80%93Corasick_algorithm for fast string matching. This implementation can be used from both Clojure and CLJS. A bonus feature is that each pattern searched for is associated to an identifier and returns the exact index match (which allows for easy grouping when many matches are found, or to handle synonyms).
pl/sci: run Clojure via SCI as a PostgreSQL extension: https://github.com/borkdude/plsci This is very much an experiment and I'm open to feedback where to take this next. Follow up in #sci.
Donkey - new high performance clojure HTTP lib by Appsflyer! https://www.infoq.com/articles/clojure-donkey-http-stack/
Are you thinking about adding vertx openapi? https://vertx.io/docs/vertx-web-openapi/java/ Having a good design first stack would be very beneficial!