At this point we have several

They’re all largely untestable though

String theory, LQG, half a dozen others