Mercury is a statically typed, compiled, general-purpose programming language with a focus on safety and correctness. It has a well-defined syntax and offers powerful tools for program analysis and transformation. Mercury is designed for rigorous scientific and mathematical computing, but also has features that make it suitable for everyday programming tasks. The Mercury standard library provides a comprehensive collection of data structures and algorithms, as well as support for concurrent programming and low-level system programming. Mercury also includes an extensive collection of libraries for engineering and scientific computing, including linear algebra, Fourier transforms, numerical integration, and more. Mercury is free software licensed under the GNU General Public License (GPL).