lookup> TLA

TLA

TLA is a programming language recognized by GitHub Linguist and used with .tla.

programming language

Quick facts

NameTLA

Typeprogramming language

Extensions.tla

MIME type—

What is TLA

TLA is a programming language recognized by GitHub Linguist and used with .tla.

GitHub Linguist classifies TLA as a programming language, typically using extensions such as .tla.

File extensions:

.tla

Related languages

Frequently asked questions

TLA is a programming language recognized by GitHub Linguist and used with .tla.

Common extensions include .tla.

Sources & standards

Updated 2026-08-18

Explore this reference