teal-language/tl

Health v2 · maintenance only

Adoption not part of the score

2814 stars · 160 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

tl is the compiler and type checker for Teal, a statically-typed dialect of Lua that adds type annotations, generics, and records while compiling back to plain Lua. It ships as a dependency-free tl.lua module, a CLI with run/check/gen subcommands, and a browser playground.

Use cases

• add static types to a Lua codebase
• type-check Lua projects
• compile Teal to plain Lua
• run typed Lua scripts
• gradually migrate Lua to a typed dialect

When to choose

• you write Lua and want TypeScript-like static typing
• you need a zero-dependency type checker embeddable in Lua projects
• you target Lua 5.1-5.4 or LuaJIT

When to avoid

• you need a standalone typed language with its own runtime
• you want runtime type enforcement rather than compile-time checking
• you need full IDE support outside Lua tooling ecosystems

Facets

cli-tool · maturity active

compiler type-system linter interpreter programming-language programming-languages compilers developer-tools windows cross-platform cli browser lua teal typed-lua static-typing luarocks transpiler compiler linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="teal-language/tl")