Promela - Programming language

Promela is a programming language created in 1997.

#1144on 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
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")
}

Language features

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