Bosque
Bosque is a programming language developed by Microsoft Research that promotes code simplicity, understandability, and verification. It is mainly used for systems programming and the development of high-performance software applications.
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.