MiniZinc
MiniZinc is a high-level modeling language used for mathematical programming and constraint satisfaction problems. It allows users to formulate problems declaratively and then solve them using various solving engines.
Hello, world code example:
output ["Hello World"];
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.