Back to Programs

Operating systems

LabLua

Programming Language Research with emphasis on Lua

kernellualuarockslunatikpallene

Participation history

9 GSoC years

2026

4 projects

Official year page

Lunatik eBPF Abstraction Layer: TC, Scheduler binding and eBPF Maps

eBPF has become the dominant mechanism for extending the Linux kernel at runtime with verifier-enforced correctness guarantees, but those same...

Add Support for Prepared Statements in LuaSQL

LuaSQL currently does not support prepared statements, which are widely used in modern database applications for performance, security, and efficient...

Evaluating Structured Reactive Patterns in Atmos

My work involves porting the game SNKRX from Lua to Atmos, a versatile programming language that is based on concurrency, event-driven programming....

Improve the Pallene Installer

The end goal of this GSoC project is to design a simple and portable process for building and installing Pallene on any of the three major operating...

2025

3 projects

Official year page

Ghost in the Macro: Dual-Parser Bicameral Macro System for Teal

This project aims to create a robust, high-performance parser combined with an easy-to-use macro system for the Teal programming language. Leveraging...

GSoC’25 Proposal: Lunatik HID Framework Implementation

This proposal introduces myself and outlines the work I will be doing during the Google Summer of Code 2025. My proposal aims to implement a HID...

Documentation generator tool for Teal language

The goal of this project is to create a documentation generator for the Teal programming language. The generator will extract information from types...

2024

4 projects

Official year page

Lunatik binding for Netfilter

The goal of this project is to make a new tool that connects Netfilter with Lua, allowing people to create new Netfilter programs using Lua and...

Adapt LuaSQL drivers to Lua 5.4

The project aims to adapt the LuaSQL drivers, which provide an interface between Lua and various database management systems (DBMS), to work...

Port LuaRocks to Teal

LuaRocks is the package manager for the Lua language. It is written in pure Lua, making use of several optional libraries. The goal of this project...

Improved debugging support for Pallene

Pallene is a statically typed companion language to Lua, designed to write performance sensitive part of it. Pallene has a very similar syntax as...

2021

4 projects

Official year page

Lua scripted watchpoints in LLDB

Enable users to attach a script or Lua function to a watchpoint and execute it when the program flow hits it in LLDB and improve the whole...

Typed API for LuaRocks

The goal of this project is to provide typed API for LuaRocks modules, specified using Teal, a typed dialect of Lua, which allows for typed...

A Lua library for Freechains-P2P

Freechains Lua API. This is an API for the Freechains project written in the Lua programming language. The lua-sockets library is used to interface...

Closures in Pallene

Pallene is a statically typed sister of the Lua programming language. This proposal aims to add support for Closures in Pallene. Closures are...

2020

6 projects

Official year page

Module Statement and Automatic Pallene to Lua Translator

Pallene is a statically typed, ahead-of-time-compiled sister language to Lua, with a focus on performance. Programmers can use Pallene instead of C...

Lua states management for Lunatik

Currently, the creation and management of Lua States in Lunatik bindings are made by the binding itself, which can difficult the interoperability of...

Lua Hook on kTLS

Lunatik is a kernel-level Lua interpreter version for scripting the Linux kernel. For example, it allows users to filter packets using Lua scripts....

Extending the support of Céu in the Céu-Arduino IDE

This project will involve further modification of the Arduino IDE to support more features of the céu language. This will include support for another...

Lazy Configuration validator for LuaFormatter

Every Project's code seems good if it is in proper style. LuaFormatter is a code formatter which helps to style a code in Lua scripts which will also...

A Parser Generator with Automatic Error Recovery on LPeg(Label)

The goal is to build a parser generator on top of the library LPegLabel that will automatically support error recovery and (optionally) white spaces...

2019

5 projects

Official year page

The Apolo Library: Building Piping and bash syntax in a light-weight environment

Lua is a tiny language that can do a lot. As a scripting language, it can be embedded into larger projects, used in IoT devices for its lightweight...

Google Cloud IoT Core Interface in Lua

The project consists of developing an interface, in Lua, for the set of Cloud IoT Core APIs, through two REST resources: cloudiot methods, to...

An application for Céu-Arduino

An application from Jingrui for Céu-Arduino, I'll do my best for that.

XDPLua

A version of the Linux Kernel's XDP framework which will support the execution of Lua scripts as well as eBPF programs

C Header File Parser in Lua Using Clang AST

Pallene, the statically typed sister language of Lua requires a Foreign Function Interface(FFI) to C. As a starting point, there is a need to create...

2018

5 projects

Official year page

Development of a RCU Binding for Lua tables

Lunatik is a programming environment based on the Lua language for kernel scripting. By allowing kernel scripting, a user may create scripts in Lua...

Céu-Maker: easy-to-install, up-to-date integrated environment for Céu-Arduino and pico-Céu development

The objective of my proposal is to provide an easy-to-install, up-to-date integrated environment for Céu-Arduino and pico-Céu development. Céu is a...

Interrupt-based drivers in Céu-Arduino for microcontrollers

The project consists of developing new interrupt-based drivers for microcontrollers, e.g.: ADC SPI and I2C buses EEPROM Real-time clock Some...

Update Lua Bindings to LibGit2

This project aims at updating lua bindings to libgit2 for the lua users to use libgit2 ( pure C implementation of the Git core methods ) API from...

Develop Socket API for Lunatik

Lunatik is a kernel-level Lua interpreter version for scripting the Linux kernel. For example, it allows users to filter packets using Lua scripts. I...

2017

6 projects

Official year page

Adapt CGILua SAPI launcher to explore all WSAPI features.

Project proposed by LabLua

Interrupt-based drivers and libraries for Céu-Arduino

Developing interrupt-based drivers and libraries for Arduino chips and peripherals for the Céu-Arduino language, in order to replace current...

Editor Support for Typed Lua

Lua is a powerful, efficient, lightweight and dynamically typed scripting language supporting a variety of different programming paradigms. Typed Lua...

Parser Generator

I would like to implement the LPegLabel parser generator idea.

Lua Client for Strava V3 API

Strava is the social network for athletes. It’s a global community of millions of runners, cyclists and triathletes.The Strava V3 API is a publicly...

Porting Terra to Android Devices

The main goal of the project is, which the title says, to port Terra to Android devices. Once I already have Terra ported to android, my intention...

2016

8 projects

Official year page

Improve elasticsearch-lua tests and builds

Elasticsearch is very good and scalable search engine. It provides a REST API accessed through JSON format. My project aims to improve the existing...

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

I want to extend the tutorial offered by LabLua for the Ceu language. As it is, when you write code on their website and press submit, the code is...

Add class-based object-oriented programming to Typed Lua

This project seeks to design and implement a class system for Typed Lua which will replace its current class definition style. It should feel like a...

An automatic generator of WSDL documents to LuaSOAP

A fully automatic generator of WSDL documents to LuaSOAP composed by a generation module and a parameter based script. This will improve the LuaSOAP...

Improving the Quality of Error Messages in PEG Parsers

Parsing Expression Grammars (PEGs) are an expressive formalism for designing and implementing top-down parsers with local backtracking. An issue that...

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...

Next Generation of the LuaRocks test suite

In this project we focus on package manager for Lua modules, LuaRocks. Our main goal is to increase quality of test suite, because it's implemented...

Admin Center, Elasticsearch integration for Sailor and Luagoogle

The admin center would be pivotal in utilizing the autogen functions and a configuration file editor would make it easy for the end user to edit conf...