GitHub repository: prismlab/certified-mrdts
Primary language: F*
Description: Certified implmentations of mergeable replicated data types