Back

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