Alternatives and similar repositories for ZKUNSAT

Users that are interested in ZKUNSAT are comparing it to the libraries listed below

• PP-FM / ppsat

  View on GitHub
  code for privacy-preserving sat solver
  ☆17Jul 14, 2023Updated 2 years ago
• wangxiao1254 / crypto-material

  View on GitHub
  ☆10Mar 24, 2020Updated 5 years ago
• emp-toolkit / emp-tool

  View on GitHub
  ☆240Nov 13, 2025Updated 3 months ago
• opencompl / sail-riscv-lean

  View on GitHub
  ☆24Updated this week
• dramforever / ixayoi

  View on GitHub
  (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog
  ☆12Sep 9, 2021Updated 4 years ago
• RHL120 / rhun

  View on GitHub
  a sudo/doas alternative
  ☆11Jan 19, 2023Updated 3 years ago
• BlockedTODO / BlockedTODO

  View on GitHub
  Code comment watcher that notifies when an issue is closed.
  ☆10Oct 18, 2025Updated 3 months ago
• jyi2ya / tc-lab

  View on GitHub
  一起来数三角形吧！
  ☆10Jun 27, 2024Updated last year
• masksign / raccoon

  View on GitHub
  Raccoon Signature Scheme -- Reference Code
  ☆12Jul 12, 2023Updated 2 years ago
• cu1ch3n / menu

  View on GitHub
  🍔 Chen’s Private Cuisine Menu
  ☆10Jan 4, 2026Updated last month
• lookingglass-coding / lookingglass-ide

  View on GitHub
  The Looking Glass Programming Environment
  ☆11May 8, 2017Updated 8 years ago
• winderica / DailyReport

  View on GitHub
  Submit your health status to your fucking department everyday
  ☆11Aug 24, 2022Updated 3 years ago
• jackos / rustlings-fix

  View on GitHub
  ☆10Jul 20, 2022Updated 3 years ago
• mitian233 / memberscard

  View on GitHub
  ☆15Feb 19, 2025Updated 11 months ago
• oracle / bft-consensus-agda

  View on GitHub
  ☆12Oct 9, 2025Updated 4 months ago
• emp-toolkit / emp-ot

  View on GitHub
  Oblivious Transfer, Oblivious Transfer Extension and Variations
  ☆183Nov 13, 2025Updated 3 months ago
• darkyzhou / blog-house

  View on GitHub
  基于 SvelteKit 框架的静态博客生成器 Static Site Generator based on SvelteKit
  ☆12Jul 2, 2024Updated last year
• 0xPolygonHermez / pil2-proofman

  View on GitHub
  Prover Manager
  ☆25Feb 6, 2026Updated last week
• ZerQAQ / Zroutinue

  View on GitHub
  a coroutinue lib writen by pure C
  ☆10Feb 24, 2021Updated 4 years ago
• libp2p / team-mgmt

  View on GitHub
  Planning and project management for the libp2p Project
  ☆14May 1, 2025Updated 9 months ago
• DavHau / nix-eval-cache

  View on GitHub
  Cache evaluation of nix functions
  ☆17Apr 5, 2022Updated 3 years ago
• genkami / watson-rs

  View on GitHub
  Rust implementation for esoteric object notation WATSON
  ☆17Nov 20, 2025Updated 2 months ago
• dstebila / pygamehop

  View on GitHub
  [work in progress] Python framework for supporting cryptographic game-hopping proofs
  ☆13Oct 19, 2022Updated 3 years ago
• aetilley / harrison-rust

  View on GitHub
  Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)
  ☆21May 21, 2025Updated 8 months ago
• tweag / nixpkgs-graph-explorer

  View on GitHub
  Explore the nixpkgs dependency graph
  ☆22Oct 7, 2023Updated 2 years ago
• Lionad-Morotar / checheyun

  View on GitHub
  某车车云爬虫项目
  ☆11Dec 15, 2023Updated 2 years ago
• kadena-community / bigolchungus

  View on GitHub
  Big Ol' Chungus - an OpenCL GPU miner for Kadena's Chainweb
  ☆12Sep 8, 2020Updated 5 years ago
• JonathanLorimer / nix-config

  View on GitHub
  My home manager config
  ☆16Jan 13, 2026Updated last month
• trailofbits / reverie

  View on GitHub
  An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
  ☆60Sep 4, 2023Updated 2 years ago
• BouncyKoishi / ChuCaoQi-Bot

  View on GitHub
  除草器Bot：生草系统 / 符卡对战 / SYSU系东方群服务
  ☆16Feb 5, 2026Updated last week
• latchset / python-rubenesque

  View on GitHub
  Pure Python implementation of standard elliptic curves
  ☆18Oct 29, 2021Updated 4 years ago
• BrotherJing / scalable-ot

  View on GitHub
  A scalable concurrent collaboration framework based on Operational Transformation (OT)
  ☆14Dec 10, 2022Updated 3 years ago
• vfx-rs / babble

  View on GitHub
  ☆15Nov 19, 2022Updated 3 years ago
• schwartz1375 / ArtificialDiaries

  View on GitHub
  ☆30Feb 5, 2026Updated last week
• arcnmx / tf-nix

  View on GitHub
  terraform meets nix
  ☆21Sep 7, 2025Updated 5 months ago
• cillynder / powercord-overlay

  View on GitHub
  A Nix flake to install Discord with Powercord
  ☆13Sep 30, 2022Updated 3 years ago
• emp-toolkit / emp-m2pc

  View on GitHub
  Malicious Two Party Computation Based on Garbled Circuits.
  ☆12Sep 5, 2020Updated 5 years ago
• blaggacao / kubenix

  View on GitHub
  Kubernetes resource builder using nix
  ☆19Jun 1, 2021Updated 4 years ago
• liff / waveforms-flake

  View on GitHub
  A Nix flake for Digilent Waveforms
  ☆20Dec 3, 2025Updated 2 months ago