Algebraic Logic Functional programming language
Algebraic Logic Functional programming language (ALF) is a declarative programming language that combines algebraic techniques with logic programming. It is primarily used for developing and reasoning about complex systems, including software verification and synthesis.
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.
Repositories on GitHub: 84