Praspel
Praspel is a formal specification language for defining properties and constraints in software testing. It is used for generating test data and verifying software code.
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.