Models
Tetrix parts in SLDPRT format
Actobotics parts in STEP format
OpenSCAD free open source, cross platform CAD with a programming-type methodology.
OnShape free fully featured cloud-based CAD.
PTC and CREO for FIRST teams
Autodesk and Inventor and other software. May need to create a student account.
