We develop and employ techniques from equivariant algebraic K-theory and related invariants in the context of geometric representation theory, in both arithmetic and topological situations. We showcase the use of such techniques on the affine Grassmannian Gr, a space of fundamental interest in the geometric Langlands program.