For programming an Espruino Pico see the "Advanced Reflashing" section of this page.
These boards are not officially supported but should be fully functional.