Alma-0

Alma-0 is a programming language designed for the specification and implementation of concurrent systems. It is mainly used for modeling and verification of concurrent algorithms and protocols.

Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.

• Official Website
• Wikipedia page