A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests or any other stuff. All communication should be through the Lua mailing lis…

This repository contains the OpenTelemetry Astronomy Shop, a microservice-based distributed system intended to illustrate the implementation of OpenTelemetry in a near real-world environment.

Pallene Compiler

The Titan programming language

Resumes generated using the GitHub informations

An educational Lua module that can be used to teach or learn about Lua's C API.

Library to provide client interface for Strava REST API(v3) in lua language

An Optional Type System for Lua

GSOC 2016 Typed Lua Core Typechecker

Optional static typing for Python

The metalua programming language

Lua + Typesafety = Sol

Lightweight Lua-based IDE for Lua with code completion, syntax highlighting, live coding, remote debugger, and code analyzer; supports Lua 5.1, 5.2, 5.3, 5.4, LuaJIT and other Lua interpreters on W…

luarock packaging of Metalua's parser

A bibliography on Gradual Typing

An optional type system for Clojure

Types for Python

a grep-like tool tailored for code