I might take a look at porting clojure.core.specs.alpha tomorrow (long holiday weekend here in the U.S.). If you have any ideas in the back of your mind on this, feel free to share here: https://dev.clojure.org/jira/browse/CLJS-2413