The github link is above (that's where the development happens). If you're interested in ESP8266 port specifically, currently the best way to contribute is to b

The github link is above (that's where the development happens). If you're interested in ESP8266 port specifically, currently the best way to contribute is to back Kickstarter campaign, and spread the word about it. (We ran ESP8266 as community project for some time, and that code is available in the git right away, and few people got quite far with it, but as a co-maintainer of MicroPython, I have to admit that it lacks many things, and have some issues - that's why we started a Kickstarter, to develop it in professional manner).