2. Warp9Composable and leakless js frp library
3. fast-jepsenUsing "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
4. perseusPerseus is a set of scripts (docker+javascript) to investigate a distributed database's responsiveness when one of its three nodes is isolated from the peers