Skip to content
GSoC Organizations / Guide
Account

GSOC 2016 PROJECT

Typed Lua Core Typechecker

The idea of this project is to use Haskell as another way of reasoning about the typing rules of Typed Lua. Project involves implementing parser and...

Official project Code
Contributor
dtomek
Mentor
Andre
Organization
LabLuaOperating systems
Program
GSoC 2016Completed

About this project

Description from the program archive

<p>The idea of this project is to use Haskell as another way of reasoning about the typing rules of Typed Lua. Project involves implementing parser and typechecker for Typed Lua Core - Typed Lua dialect which does not contain any syntactic sugar what simplifies reasoning about typing rules.</p>

Tags

AI

From the people who did it

No proposal or progress posts shared yet

Worked on this project? Share the proposal that got you selected and the posts you wrote.

Claim this project

GSOC 2016

More LabLua projects in 2016.

All projects

  1. Improve elasticsearch-lua tests and builds

    Dhaval KapilMentored by Pablo Musa

    ProjectWork

  2. Extending the online tutorial of Céu with Emscripten and SDL

    VicentiuMMentored by Francisco

    ProjectCode

  3. Add class-based object-oriented programming to Typed Lua

    Kevin ClancyMentored by Fabio Mascarenhas

    ProjectReport

  4. An automatic generator of WSDL documents to LuaSOAP

    Victor DiasMentored by Tomás Guisasola

    ProjectReport

  5. Improving the Quality of Error Messages in PEG Parsers

    MattGMentored by Sérgio Queiroz de Medeiros

    ProjectReport

  6. Next Generation of the LuaRocks test suite

    robooMentored by Hisham Muhammad

    ProjectReport

  7. Admin Center, Elasticsearch integration for Sailor and Luagoogle

    rnikhil275Mentored by Etiene Dalcol

    ProjectCode

Data: Google Summer of Code public archive. This project in the official archive