<div dir="ltr"><p style="margin-top:0px;font-family:Arial,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">Hello developers,</span></p><p style="margin-top:0px;font-family:Arial,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">We are thrilled to announce that Keelung is now 100% open source! By making it transparent under the Apache 2.0 license, we aim to increase accessibility and foster contributions from the community.</span></p><p style="margin-top:0px;font-family:Arial,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">The Keelung Compiler transforms programs written in Keelung, a new domain-specific language (DSL) designed to make fast, private, and secure </span>applications<span style="font-family:Arial,Helvetica,sans-serif">, into constraint systems for proof generation and verification. It includes an interpreter for program execution during development and a solver for generating witnesses in constraint systems.</span></p><p style="margin-top:0px;font-family:Arial,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif">Anticipate a more powerful Keelung! Upcoming updates include seamless Keelung-Haskell integration and unsigned integers with limitless bit-widths.</span></p><div><div>Cheers,<br>BTQ team</div></div><div><br></div><div><span style="font-family:Arial,sans-serif">Blog post: </span><a href="https://www.btq.com/blog/keelung-compiler-is-now-open-source">https://www.btq.com/blog/keelung-compiler-is-now-open-source</a></div><div>Discord: <a href="https://discord.gg/j5rMMZ3nVh">https://discord.gg/j5rMMZ3nVh</a></div><div>Keelung Language repo: <a href="https://github.com/btq-ag/keelung">https://github.com/btq-ag/keelung</a></div><div>Keelung Compiler repo: <a href="https://github.com/btq-ag/keelung-compiler">https://github.com/btq-ag/keelung-compiler</a></div></div>