Leda Leda is a type-safe programming language that transpiles to Lua. It is currently in pre-alpha; core features are still being designed and developed.