cloud-block-store

There are 5 repositories under cloud-block-store topic.

PureStorage-OpenConnect/cbs-deploy-bicep
Bicep Framework for IaC deployment of Pure Cloud Block Store on Azure
Language:Shell2 8 12
BinksZhang/CBS-Verification
A verification tool developed in Coq for analyzing cloud block storage
Language:Coq1 2 00
PKUTCS-CBS/CBS-Verification
A verification tool developed in Coq for analyzing cloud block storage
Language:Coq0 1 00
PureStorage-OpenConnect/cbs-deploy-terraform
Terraform examples for deploying Pure Cloud Block Store (CBS) with all the associated pre-requisites
Language:HCL6 01
PureStorage-OpenConnect/cloudblockstore-scripts
Sample Scripts for Pure Cloud Block Store
Language:PowerShell6 64