ParaSail

ParaSail is a statically typed programming language designed for the development of highly reliable software systems. It is primarily used for applications that require high integrity, safety, and security.

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

• Official Website
• Wikipedia page