Promela is a programming language recognized by GitHub Linguist and used with .pml.
Quick facts
What is Promela
Promela is a programming language recognized by GitHub Linguist and used with .pml.
GitHub Linguist classifies Promela as a programming language, typically using extensions such as .pml.
File extensions:
Related extensions
Related languages
Frequently asked questions
Promela is a programming language recognized by GitHub Linguist and used with .pml.
Common extensions include .pml.
Sources & standards
Updated 2026-08-18
Explore this reference