(homebrew, on a jailbroken PS4): Yes, there is a community port called "SM64PS4" that can be built into a PKG. But this requires compiling it yourself from the official decompilation source + adding assets from a legitimate ROM you own. No pre-made PKG is legal to share.
Super Mario 64 PS4 Port by OsirizX | Gameplay + Installation Tutorial super mario 64 ps4 pkg