I tried to look up the projector on Amazon, and a similar device from the same brand included a picture of a remote: [Link: amazon.com]

I have a capture of a remote that looks identical to this, but it's in Flipper Zero .IR format. [Link: github.com]

I can confirm that, if it's the same remote, it's NEC.