You can use Lua, Terra or both at runtime. The Lua part is LuaJIT including the ffi. The Terra part is LLVM and can link directly to C (maybe C++?). Lua can be used as a metaprogramming system to produce a static Terra .o or exe. Or Lua can be used as a runtime that can JIT and invoke Terra functions on the fly.