Orbifolds are like manifolds but with certain prescribed singularities, and they show up in many different areas of mathematics, including algebraic and differential geometry, topology, and algebra. In this talk, we will discuss a generalization of Waldhausen's algebraic K-theory of spaces that takes as input an orbifold and which we expect to have rich geometric applications in analogy with the manifold setting.