This thesis studies the geometry of orbifolds - primarily via variation of GIT, derived category methods, and numerics - and develops connections of equivariant algebraic geometry with embedding problems in symplectic geometry, and with lattice point counting for rational polytopes. We also compile many aspects of the disparate toolkit required to rigorously study orbifolds.