Formality is a modern programming language that integrates formal proofs with practical development, designed to enhance developer productivity by treating proofs as language features rather than purely mathematical tools. The language is built around a small 700-line trusted core and compiles to multiple targets including Haskell and JavaScript, with a Haskell release available via Cabal and a JavaScript release distributed on npm. Formality emphasizes auditability, portability, and market readiness through clear syntax, a package manager, friendly error messages, and support for features like indexed types and subset types that enable compile-time verification of program properties. The project is maintained by Moonad, as evidenced by the GitHub organization references in the documentation and links.