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