PackageCompiler.jl is I believe still the go to package to compile, but no longer the only one. Yes, the binaries aren’t small with it (but can be tuned smaller), but with other compiler package 9KB small binaries is possible (then you have some limitations).