[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-cafe
Subject:    [Haskell-cafe] Keelung Compiler is now open source!
From:       Ting Wang <ty.wang () btq ! com>
Date:       2023-06-20 3:02:43
Message-ID: CALR3Zw9Z5uYY8PNN3jwyjne70152vX5TtY6efwQtGmafE17UBQ () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


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

[Attachment #5 (text/html)]

<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">h \
ttps://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>



[Attachment #6 (text/plain)]

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.

[prev in list] [next in list] [prev in thread] [next in thread]