GitHub repository: Josef-Friedrich/LuaTeX_Lua-API
Primary language: Lua
Description: Type definitions / Stubs for the Lua API / interface of LuaTeX and related Lua modules.