Charity is a functional programming language focused on abstracting away low-level details, allowing programmers to write cleaner and more concise code. It is primarily used for academic research and teaching purposes in the field of programming languages and formal verification.

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

Repositories on GitHub: 11