Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: docker: infsec/monpoly
View more package details: https://packages.ecosyste.ms/registries/hub.docker.com/packages/infsec/monpoly
Dependent Repos 1
mikeyhodl/ic Fork of dfinity/ic
Internet Computer blockchain source: the client/replica software run by nodes- 1.4.2 policy-monitoring/Dockerfile
Size: 151 MB - Last synced: 6 months ago - Pushed: 6 months ago
contropist/ic Fork of dfinity/ic
Source project for the Internet Computer software- 1.4.2 policy-monitoring/Dockerfile
Size: 143 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
remolueoend/monpoly
MonPoly is a prototype monitoring tool. It checks the compliance of log files with respect to policies that are specified by formulas in Metric First-Order Temporal Logic (MFOTL).- 1.4.0 evaluation/Dockerfile
Size: 14.6 MB - Last synced: over 1 year ago - Pushed: almost 2 years ago
bitfinity-network/ic Fork of dfinity/ic
Internet Computer blockchain source: the client/replica software run by nodes- 1.4.1 policy-monitoring/Dockerfile
Size: 166 MB - Last synced: 6 days ago - Pushed: 4 months ago
sudhakarmu/ic Fork of dfinity/ic
Internet Computer blockchain source: the client/replica software run by nodes- 1.4.1 policy-monitoring/Dockerfile
Size: 94.1 MB - Last synced: about 2 months ago - Pushed: about 2 months ago
NeutronStarPRO/ic Fork of dfinity/ic
Internet Computer blockchain 源码解析- 1.4.2 policy-monitoring/Dockerfile
Size: 136 MB - Last synced: 7 months ago - Pushed: 7 months ago
Tyratox/safe-evaluation-of-mfotl-dual-temporal-operators
A copy of monpoly and the scripts, experiments and raw data referred to in my Bachelor's thesis- 1.1.9 evaluation/Dockerfile
- 1.2.0 evaluation/Dockerfile
Size: 16.8 MB - Last synced: about 2 months ago - Pushed: almost 3 years ago
matthieugras/monpoly
- 1.4.0 evaluation/Dockerfile
Size: 14.5 MB - Last synced: 10 months ago - Pushed: over 1 year ago
pizzasuperapp/DfinityPizza
- 1.4.1 policy-monitoring/Dockerfile
Size: 62.3 MB - Last synced: over 1 year ago - Pushed: almost 2 years ago
wakada1/ic Fork of dfinity/ic
Internet Computer blockchain source: the client/replica software run by nodes- 1.4.2 policy-monitoring/Dockerfile
Size: 127 MB - Last synced: 11 months ago - Pushed: over 1 year ago
DavidM-D/ic Fork of dfinity/ic
Internet Computer blockchain source: the client/replica software run by nodes- 1.4.2 policy-monitoring/Dockerfile
Size: 136 MB - Last synced: 10 months ago - Pushed: about 1 year ago
ulan/ic Fork of dfinity/ic
Internet Computer blockchain source: the client/replica software run by nodes- 1.4.2 policy-monitoring/Dockerfile
Size: 152 MB - Last synced: 9 months ago - Pushed: 10 months ago
NikolasHai/ic Fork of dfinity/ic
Internet Computer blockchain source: the client/replica software run by nodes- 1.4.1 policy-monitoring/Dockerfile
Size: 106 MB - Last synced: 9 months ago - Pushed: over 1 year ago
omahs/ic Fork of dfinity/ic
Internet Computer blockchain source: the client/replica software run by nodes- 1.4.2 policy-monitoring/Dockerfile
Size: 161 MB - Last synced: 2 months ago - Pushed: 9 months ago
blockchainleague/ic Fork of dfinity/ic
Internet Computer blockchain source: the client/replica software run by nodes- 1.4.2 policy-monitoring/Dockerfile
Size: 165 MB - Last synced: 9 months ago - Pushed: 9 months ago
hrobjarturh/Covid-X-ray
- 1.4.0 xray/xray/monpoly/evaluation/Dockerfile
Size: 55.4 MB - Last synced: 5 months ago - Pushed: over 1 year ago