Maude system
The 'Maude system' is a high-level programming language and a rewriting logic tool that supports formal specification, analysis, and execution of concurrent and distributed systems. Its main uses include modeling and analyzing software and hardware systems, formal verification of system properties, and rapid prototyping of system designs.
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.
Repositories on GitHub: 1,810,023