Да не, без претензий. Cython компилируемый, со статикой, с типа питоновским синтаксисом, одна из попыток как-то ускорить обожравшегося питона. Nelua тоже самое, только для луа. Тоже компилируемый, тоже со статической типизацией и окололуевым синтаксисом (не совсем, много своего, и нумерация с нуля, хотя local, блин, остался). Но это не замена луа, это довесок. Довесок интересный, но так-то ffi все равно на чем ты там библиотеку написал. C, Nim, вариантов тьма, уже готовых и проверенных. Снус вон на D пишет. Причины для использования именно nelua нужно еще поискать. Но он интересный.
Вот Titan с Ravi как бы замена lua, со статикой, но сколько проектов на них переползет, если есть годами проверенный luajit? Titan вообще неясно, то засох, то вроде откоматозился. Ravi перепробовал кучу бэкендов, остановился на одном экспериментальном. Такие себе замены.