F*

The F* programming language is a dependently typed functional programming language that is designed to verify the correctness of programs. Its main uses include programming language research, program synthesis, and formal verification of software and security protocols.

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

Repositories on GitHub: 314

• Official Website
• Wikipedia page