Abstract State Machine Language
Abstract State Machine Language (AsmL) is a programming language for specifying and structuring software systems as a composition of abstract state machines. Its main uses include modeling and analyzing complex systems, formal verification, and prototyping software designs.
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.
Repositories on GitHub: 359