[Haskell-cafe] Alpha Release of Keelung, the New Haskell DSL Designed for Secure and Fast Application Development

[Ting Wang]

Hello developers,

I'm Ting with BTQ. We are thrilled to announce the alpha release of
Keelung, a new domain-specific language (DSL) designed to make fast,
private, and secure application development easy for developers.Both
Keelung and its compiler have been implemented in Haskell, enabling you to
produce high-level zero-knowledge proofs protected by Haskell's
cutting-edge type system while leveraging Haskell's extensive ecosystem and
tooling. What's more, Keelung will be 100% open-source, aligning with our
values of transparency, collaboration, and community-driven development.Check
out our blog post <https://www.btq.com/en/blog/keelung-alpha-release> of
Keelung alpha release for more detail. If you're interested in using
Keelung to build privacy-preserving applications, please visit our GitHub
repository <https://github.com/btq-ag/keelung> and Hackage
<https://hackage.haskell.org/package/keelung>. Our documentation
<https://btq.gitbook.io/keelung/> also provides detailed information on how
to use Keelung, including installation instructions, examples, and
tutorials.If you have any questions about Keelung or would like to
contribute to the project, please start a thread on our GitHub discussions
<https://github.com/btq-ag/keelung/discussions> page or reach out to us via
email at desk at btq.li. We're always happy to help and would love to hear
from you!Thank you and we can't wait to see what you build with it!


Ting Wang (Ms.)

Product Manager
ty.wang at btq.li
www.btq.com

[image: twitter] <https://twitter.com/btq_ag>
[image: linkedin] <https://www.linkedin.com/company/btqag/about/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20230309/69d3a043/attachment.html>