Websocket/HTTPS/TLS environment for raspberry pi pico. This repo provides libraries to set up HTTP(S) servers on pico. The second part is in repo: https://github.com/AdrianCX/pico_https_example