I recently finished writing a driver for the Parallax (Simplytronics) X-Band Motion Detector for the mbed. It got approved and posted as an offical component! Take a look if you are interested.
https://developer.mbed.org/components/Parallax-X-Band-Motion-Detector/
There’s also some nice documentation I wrote up on it there and a little video!