Eiffel

The 'Eiffel' programming language is an object-oriented language that emphasizes software correctness and reusability through the use of design by contract methodology. It is primarily used for developing high-quality, reliable software systems.

Hello, world code example:

class
    HELLO_WORLD
create
    make
feature
    make
        do
            print ("Hello world!%N")
        end
end

Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.

Repositories on GitHub: 940

• Wikipedia page