GSoC/GCI Archive
Google Summer of Code 2013

Google Open Source Programs Office

Mailing List:

We are the open source arm of Google, Inc. We're also the umbrella organization for students looking for special projects with academic mentors. 


  • Typed Lua Typed Lua is a superset of Lua with optional static typing and class based Object Oriented programming. Even though other scripting languages are already making efforts to have an optional type system, Lua still does not have much research on gradual typing. The aim of Typed Lua is to offer better documentation, compile-time type checking, and an Object Oriented programming style to Lua programmers. Typed Lua compiles to Lua code through a compiler, but also provides an API that programmers can embed in their text editors or IDEs.