I tried to export my P8 project and can confirm I also found a raspi_64 executable! (Although the project I used to export it has only a few sprite). But I imagine its possible to load the picoCAD project in a newer version and export it again? (Hope so!)

Hey! I got a reply from the Pico-8 devs in my email, looks like to export in raspi-64, it needs to be exported in a newer version:
"There are raspi 64-bit builds and exports in PICO-8 0.2.4 and later -- It looks like Pico-CAD binaries were generated with an earlier version --zep".
Might be why? :)

I will also look directly with the dev of Pico-8 if I can learn more about! I tried to run Voxatron and Picotron but they only have a normal Linux file and not a raspi folder. So in the end I was only able to run Pico-8.

No I just started using it yesterday I guess I could import one to see if I can load it XD... Though I wasnt able to run the normal Pico-8, I had to run Pico-8_64, maybe this one exports differently than the base Pico-8?

Hey! I wasnt sure how to contact you. I tried installing picoCAD on my rasberry Pi but unfortunately, it needs the 32 bit OS while I use a 64. I tried installing the librairies but it still doesn't work... Could it be possible to have a raspi64 executable? :) Would be great!