Dafny
Dafny is a programming language that is designed to support the formal verification of programs. It is mainly used for developing correct and reliable software systems.
Hello, world code example:
method Main() {
print "hello, world!\n";
assert 10 < 2;
}
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.
Repositories on GitHub: 256