Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

clojars.org : pfeodrippe/recife

A Clojure model checker (using the TLA+/TLC engine)

Registry - Source - Documentation - JSON
purl: pkg:clojars/pfeodrippe%2Frecife
License: MIT
Latest release: about 1 year ago
First release: almost 3 years ago
Namespace: pfeodrippe
Downloads: 507 total
Stars: 130 on GitHub
Forks: 3 on GitHub
Total Commits: 93
Committers: 3
Average commits per author: 31.0
Development Distribution Score (DDS): 0.323
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 36 minutes ago

    Loading...
    Readme
    Loading...