Generic, multiplexed push protocol for real-time applications
Generic multiplexed push client with WebSocket and SSE transports
Generic multiplexed push server with WebSocket and SSE transports
Shared types and codecs for push-wire multiplexed push protocol