Racket does tick some of those boxes: * it has support for OS-level threads via places[0] * it can produce binary distributions via `raco distribute`[1] by pa

Racket does tick some of those boxes: * it has support for OS-level threads via places[0] * it can produce binary distributions via `raco distribute`[1] by packing together the interpreter and your compiled code into a single executable * while the current implementation is based on a bytecode-compiler and VM, I believe the Chez implementation actually compiles to native code (although the whole process is transparent to the user) * it is possible to run Racket on ARM devices, in fact there was a recent thread[2] about that on the mailing list I realize this isn't 100% what you're looking for, but Racket does come with many nice features. Alternatively, you might also want to take a look at CHICKEN Scheme[3]. [0]: https://docs.racket-lang.org/guide/parallelism.html#%28part._effective-places%29 https://docs.racket-lang.org/guide/parallelism.html#%28part.... [1]: https://docs.racket-lang.org/raco/exe-dist.html https://docs.racket-lang.org/raco/exe-dist.html [2]: https://groups.google.com/forum/#!topic/racket-users/YEajWJeFdDQ https://groups.google.com/forum/#!topic/racket-users/YEajWJe... [3]: https://call-cc.org/ https://call-cc.org/