ATS
ATS is a statically-typed programming language that supports both functional and imperative programming paradigms. It is primarily used for systems-level programming, concurrent and parallel programming, and formal verification of software systems.
Hello, world code example:
implement main0 () = print "Hello world!\n"
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.
Repositories on GitHub: 223