btq-ag / keelungView external linksLinks
The Keelung Language. A Haskell-embedded DSL for privacy-preserving computation, designed to optimize zero-knowledge proof generation with support for Snarkjs, Circom, and PLONKish backends.
☆53Sep 6, 2024Updated last year
Alternatives and similar repositories for keelung
Users that are interested in keelung are comparing it to the libraries listed below
Sorting:
- backend of Guabao☆13Sep 3, 2024Updated last year
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Dec 19, 2021Updated 4 years ago
- CS410 "Advanced Functional Programming"☆30Feb 10, 2026Updated last week
- Byte-level byte pair encoding (BPE) in Haskell☆17May 27, 2024Updated last year
- An efficient finite map from (byte)strings to values.☆20May 1, 2025Updated 9 months ago
- Concurrency library inspired by Erlang/OTP☆19May 9, 2025Updated 9 months ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago
- Code repository for "AWS via Haskell" series of blog posts☆21Mar 17, 2018Updated 7 years ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Jul 2, 2024Updated last year
- Distributions of Agda executable compiled into WebAssembly.☆25Nov 9, 2025Updated 3 months ago
- Easy entropy source for Haskell users.☆28Feb 8, 2026Updated last week
- Setoid type theory implementation☆38Aug 24, 2023Updated 2 years ago
- ☆22Feb 13, 2024Updated 2 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆32Jan 26, 2025Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆23May 29, 2023Updated 2 years ago
- ☆26Feb 24, 2023Updated 2 years ago
- Inspecting tool for GHC compilation pipeline☆33Sep 17, 2025Updated 5 months ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Book about Libra's Move language☆14Feb 26, 2021Updated 4 years ago
- A NES emulator in Wa. 凹语言 NES 模拟器☆11Jun 15, 2025Updated 8 months ago
- Reversing tools for manipulating Golden Time: Vivid Memories game assets☆10Oct 17, 2024Updated last year
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- ☆13Mar 2, 2015Updated 10 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Haskell client library for HashiCorp's Vault tool (via HTTP API)☆10Oct 28, 2021Updated 4 years ago
- Manage CloudFormation Stacks through specifications☆13Dec 15, 2025Updated 2 months ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- ☆16Oct 13, 2022Updated 3 years ago
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 3 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Feb 10, 2026Updated last week
- ☆16Nov 6, 2022Updated 3 years ago
- Fintie Sets in Cubical Agda☆12Aug 30, 2019Updated 6 years ago