typed lua typed lua is a lua precompiler, which attempts to grant a typesystem at the cost of runtime performance.