# Keelung

**Repository Path**: tzthomas/Keelung

## Basic Information

- **Project Name**: Keelung
- **Description**: 它是一个为快捷、隐私和安全应用发展而设计的领域特定语言（DSL）
- **Primary Language**: Haskell
- **License**: Apache-2.0
- **Default Branch**: main
- **Homepage**: https://www.oschina.net/p/keelung
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 1
- **Created**: 2023-06-07
- **Last Updated**: 2023-06-07

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# Keelung

Keelung is a domain-specific language (DSL) embedded in Haskell that is designed for creating zero-knowledge proofs (ZKPs). With Keelung, developers can create high-quality and reliable ZKPs with ease, even without expertise in cryptography.

<img width="1268" alt="keelung5" src="https://user-images.githubusercontent.com/97019448/219329651-d30c0134-f153-4755-979f-c5b77d6d2724.png">

## Documentation

Check out our [GitBook](https://btq.gitbook.io/keelung/) for more information.

## Language Reference

The language reference is now available on [Hackage](https://hackage.haskell.org/package/keelung).

## Standard Library

The standard library is available [here](https://github.com/btq-ag/keelung-stdlib).

## Discord
Find us on [Discord](https://discord.gg/nTr2kBmW2q)!

## Codespaces
Get started using Keelung in GitHub codespaces by navigating to `Code` -> `Codespaces` in [Keelung Examples](https://github.com/btq-ag/keelung-examples/)!