Inkscape is a professional vector graphics editor for Windows, Mac OS X and Linux. It's free and open source.
Arduino is an open-source electronics platform based on easy-to-use hardware and software. It's intended for anyone making interactive projects.
123D Make lets you turn 3D models into 2D build plans with animated assembly instructions.
3D modeling and drawing software that's particularly well suited for architectural renderings.
Great for converting Tinkercad SVG exports to DXF files for the laser cutter.
https://education.lego.com/en-us/downloads/spike-app/software