Prototypes I am using

Edison

I am using a lot of Edison boards in my Internet of Things activities (with ThingML, with code generated in C or Node.JS).

ShopBot CNC Machine

I have access to a huge CNC machine (one of those) that I used e.g. to make custom panels around my terrace.

Makerbot Replicator 2

We have recently acquired a Makerbot Replicator 2 3D printer to print cases for our IoT devices, and also to build some cool stuff. You can have a look at my profile on Thingiverse to see some stuff I designed and built.

Raspberry Pi

I am using a lot of Raspberry Pi boards in my Internet of Things activities (with ThingML).

Arduino

I am using a lot of Arduino boards in my Internet of Things activities (with ThingML).