Promela

Promela is a programming language created in 1997.

#1576on PLDB

27Years Old

109Repos

Try now: Riju

Promela Wikipedia page
There are at least 109 Promela repos on GitHub
Promela first developed in Bell Labs
file extensions for Promela include pml
The Google BigQuery Public Dataset GitHub snapshot shows 21 users using Promela in 21 repos on GitHub

Example from Riju:

active proctype main() {
  printf("Hello, world!\n");
}

Example from hello-world:

active proctype main(){
  printf("Hello World")
}

Feature	Supported	Token	Example
Strings	✓	"	"Hello world"
Print() Debugging	✓	printf

Promela - Programming language