Spec#
Spec# is an experimental programming language that extends C# with support for contracts. It is primarily used for developing reliable and correct software by enabling programmers to express and enforce formal specifications on their code.
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.