In this paper, we establish two Santal\'o type formulas for general Finsler manifolds. As applications, we derive a universal lower bound for the first eigenvalue of the nonlinear Laplacian, two Croke type isoperimetric inequalities, and a Yamaguch type finiteness theorem in Finser geometry.