Rex is a low-level programming language with reversible ownership, temporal values, and runtime ownership debugging, compiled via Lua to C.