Whiley
Whiley is a programming language that aims to improve software reliability and verification through the use of static typing and formal verification techniques. It is commonly used for developing reliable and secure software, particularly in safety-critical systems and areas such as embedded systems and cryptography.
Hello, world code example:
import whiley.lang.System
method main(System.Console console):
console.out.println("Hello world!")
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.
Repositories on GitHub: 2