GitHub repository: lorin/epidemic-register
Primary language: TLA
Description: Beating the CAP theorem with the epidemic register