Hamel's formalism is a Lagrangian analogue of representation of Hamiltonian mechanics in non-canonical coordinates. This talk will elucidate the variational nature of Hamel's formalism and discuss applications to dynamics of mechanical systems with velocity constraints and structurally-stable variational integrators.