GitHub repository: jupyter-server/pycrdt
Primary language: Python
Description: CRDTs based on Yrs.