GitHub repository: CSCI-2952-F/consistent-hrms
Primary language: HTML
Description: Achieving consistent distributed storage between mutually distrustful parties, using a Hospital Record Management System (HRMS) as our motivating example.