Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ligurio / molly
Framework for distributed system's verification, with fault injection.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ligurio%2Fmolly
Stars: 11
Forks: 1
Open Issues: 1
License: isc
Language: Lua
Repo Size: 383 KB
Dependencies:
6
Created: over 2 years ago
Updated: 4 days ago
Last pushed: 4 days ago
Last synced: 3 days ago
Topics: consistency, correctness, fault-injection, jepsen, linearizability, lua, serializable
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/check.yaml
actions
- actions/checkout v2 composite
.github/workflows/publish.yaml
actions
- JamesIves/github-pages-deploy-action 4.1.4 composite
- actions/checkout v2 composite
.github/workflows/test.yaml
actions
- actions/checkout master composite
- leafo/gh-actions-lua v8 composite
- tarantool/setup-tarantool v1 composite