The Mercury logic programming system
Summary
The Mercury repository presents Mercury as a logic/functional programming language with multiple backends, cross-platform support, and extensive documentation. It emphasizes open-source development, contributor guidance, and auxiliary resources like Docker and cross-compilation information.