関連ワード:  real time code collaboration platform    real time code collaboration    real time code collaboration github    real time code collaboration platform github    real time collaboration code editor    real time collaborative code editor project    real time collaborative code editor github    real time collaborative code editor research paper    real time collaborative code editor project github    real time collaborative coding in a web ide