Is this a pretty similar idea to https://derbyjs.com/ https://derbyjs.com/ ? https://github.com/share/sharedb https://github.com/share/sharedb https://github.

Is this a pretty similar idea to https://derbyjs.com/ https://derbyjs.com/ ? https://github.com/share/sharedb https://github.com/share/sharedb https://github.com/derbyjs/derby https://github.com/derbyjs/derby https://github.com/derbyjs/racer https://github.com/derbyjs/racer