An experimental stackless Lua VM implemented in pure Rust

JavaSMT - Unified Java API for SMT solvers.

A model checker for formulae in the modal mu-calculus on LTS's stored in Aldebaran format, using a naive approach or the Emerson-Lei algorithm

The Meson Build System

XCB utility functions for the X resource manager

Reading and writing JPEG files from/to Cairo surfaces.

APT – Analysis of Petri nets and labelled transition systems

Dynamic Lua binding to GObject libraries using GObject-Introspection

Asynchronous TCP socket classes

A screenlocker that's highly configurable in lua

useful awesome library

DBus module for the Lua Event Machine

My experiment with X Composite Manager

tab manager, event manager, and cookie handler for uzbl

Official repository for the ZNC IRC bouncer

Lua integration with libev.