Быстрый просмотр предоставленных вами ссылок на github показывает, что проблем быть не должно:
WebSockets импортируется
import websockets
websocket-клиент импортируется
import websocket
Обратите внимание, что во втором случае нет "s". При этом, если вы используете их для различных проектов, вам все равно следует рассмотреть возможность использования сред разработки, таких как virtualenv
или conda
.