Normal C standard with good runtime? you should look for LuaJIT (actually this is Dynamo, which is the backend, but still part of LuaJIT), which is the JIT trace compiler (JIT) where, like most of the ones mentioned, are static). It has garbage collection, but it can be easily removed or changed (scheduled major repairs are coming soon), and it has its own FFI, so it can easily perform external referencing (from level C, you should always look into nothingness).
The best part is its fully publicly available code, and the code is the documentation (which is good, since it is well structured).
source share