dev-lang/
mercury-extras

Additional libraries and tools that are not part of the Mercury standard library

https://www.mercurylang.org/index.html

Latest Commits