pushpy (pypi): A library for enabling dynamic distributed python deployment
Keywords: network|replication|raft|synchronization|application