Propel

Type-check your CRDTs! Track commutativity, associativity, idempotency, and other algebraic properties in types. Please find more information on the Propel website.

Publications

  1. PLDI
    Propel
    Type-Checking CRDT Convergence
    Proceedings of the ACM on Programming Languages 7 (PLDI), 2023