A library for building WebSocket servers and clients in Python with a focus on correctness and simplicity.