Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
clojars.org namespaces: io.github.pfeodrippe
io.github.pfeodrippe/alloy 0.2.0
A Clojure model checker (using the TLA+/TLC engine)2 versions - Latest release: about 1 year ago - 34 downloads total - 130 stars on GitHub - 1 maintainer