TLA+
TLA+ is a formal specification language used for describing and verifying concurrent and distributed systems. It is commonly used for model checking, reasoning about system behavior, and finding potential design flaws.
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.
Repositories on GitHub: 844