Arduino alternative

chipkit uno32 or netduino plus is my advice