A ZK domain-specific language implemented in Haskell - Keelung

Hello developers,

We are thrilled to introduce Keelung, a domain-specific language (DSL) designed to make fast, private, and secure application development easy for developers. Same as Cardano, 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 is 100% open-source, aligning with our values of transparency, collaboration, and community-driven development. The documentation 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, here’re some useful links:
Discord: discord.gg/j5rMMZ3nVh
Keelung Language repo: GitHub - btq-ag/keelung: The Keelung Language

We would love to hear from the Cardano community and looking forward to any feedback or suggestion on integrating Keelung into Cardano. Cheers!