Teal은 Lua에 배열, 맵, 레코드, 인터페이스와 제네릭 등 정적 타입 표현을 더하고 일반 Lua 코드로 변환하는 언어다. 기존 Lua 생태계와 함께 쓰는 점을 강조하며 MIT 라이선스로 제공된다. 컴파일러 저장소는 Lua 5.1부터 5.4와 LuaJIT 지원을 설명한다. 특히 tl check는 타입 검사를 수행하지만 tl gen은 전체 타입 검사를 대신하지 않으므로, 빌드에서 코드가 생성됐다는 사실만으로 타입 안전성이 검증됐다고 보지 않아야 한다.