mbedJS
http://mbed.org/users/nyatla/code/mbedJS/wiki/Homepage
Websocketを使用した高速なJavascriptによるmbedコントロールを提供します。APIはmbedAPIの一部(AnalogIn/Out,BusIn/Out/InOut,DigitalIn/Out,PortIn/Out,Pwm,Out,SPI/Slave)を利用できます。 APIはコールバックベースですが、ES6に対応したブラウザの場合はGeneratorを利用することができます。