lunatic
Ada/SPARK based Lua 5.5 Application server