I got a prototype of the Lulzbot mini, which I used to print it (and I still have that printer!).

I designed it in a ruby thing that translates things into openscad (crystalscad was the name, but I deprecated it for multiple reasons. There's jenncad in my github repository as its successor, but I didn't have the chance to get it anywhere to stable)

Other software I used were printrun and slic3r.