Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / jepsen-io / elle
Black-box transactional safety checker based on cycle detection
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jepsen-io%2Felle
Stars: 612
Forks: 35
Open Issues: 6
License: epl-2.0
Language: Isabelle
Repo Size: 12 MB
Dependencies:
8
Created: about 4 years ago
Updated: 6 days ago
Last pushed: 3 months ago
Last synced: 6 days ago
Commit Stats
Commits: 144
Authors: 5
Mean commits per author: 28.8
Development Distribution Score: 0.049
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/jepsen-io/elle
Files
Dependencies
- dom-top 1.0.8
- hiccup 1.0.5
- io.jepsen/history 0.1.0
- io.lacuna/bifurcan 0.2.0-alpha6
- jepsen.txn 0.1.2
- org.clojure/tools.logging 1.2.4
- rhizome 0.2.9
- slingshot 0.12.2