I am happy to say that Faust works fine on Bela, including MIDI, but that there are several things that can be improved.
The online compiler will produce a binary that runs, but the associated C++ source won't compile on Bela. This is because there have been changes in Bela since the Faust architecture file was written (easy to patch), but also because some Faust-specific libraries are missing (that's a lot more work).
Now if you download a binary and want to run it, you have to fool the IDE into believing that there is a full project there. So you rename the binary exactly like your project, as expected, but you also add phoney
render.cpp, build/render.o build/render.d files that are older than your binary. Then you can use the IDE run button, or the run-project.sh script and the Makefile will think everything is fine. But unfortunately if you use the former, the IDE stop button won't work, and you have to shut down the Bela to stop. Things will work if you run from a script, but naturally you won't get CPU monitoring.
The above leads me to suggest that in addition to the Faust-specific stuff I just mentioned, there should be a Wiki page about the nuts-and-bolts of Bela, like how a project is structured, the need for default_main.cpp, things like that. Some of the important material is already on the pages for scripts and Eclipse, but it is relevant to a lot more people than just those who use Eclipse.
And maybe there should be a flag for run_project.sh just for binaries, even if users can ssh and do ./MyProject anyway.