[Haskell-cafe] Keelung Compiler is now open source!

[Ting Wang]

Hello developers,

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.

The Keelung Compiler transforms programs written in Keelung, a new
domain-specific language (DSL) designed to make fast, private, and secure
applications, 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.

Anticipate a more powerful Keelung! Upcoming updates include seamless
Keelung-Haskell integration and unsigned integers with limitless bit-widths.
Cheers,
BTQ team

Blog post: https://www.btq.com/blog/keelung-compiler-is-now-open-source
Discord: https://discord.gg/j5rMMZ3nVh
Keelung Language repo: https://github.com/btq-ag/keelung
Keelung Compiler repo: https://github.com/btq-ag/keelung-compiler
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20230620/cc1a085e/attachment.html>