☆20Jan 17, 2025Updated last year
Alternatives and similar repositories for ZKUNSAT
Users that are interested in ZKUNSAT are comparing it to the libraries listed below
Sorting:
- code for privacy-preserving sat solver☆17Jul 14, 2023Updated 2 years ago
- ☆10Mar 24, 2020Updated 5 years ago
- ☆241Nov 13, 2025Updated 3 months ago
- ☆10Jul 20, 2022Updated 3 years ago
- Code comment watcher that notifies when an issue is closed.☆10Oct 18, 2025Updated 4 months ago
- Raccoon Signature Scheme -- Reference Code☆13Jul 12, 2023Updated 2 years ago
- Submit your health status to your fucking department everyday☆11Aug 24, 2022Updated 3 years ago
- ☆12Oct 9, 2025Updated 4 months ago
- Implementation for the protocols described in https://eprint.iacr.org/2023/1700☆14Jan 9, 2025Updated last year
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 2 months ago
- ☆26Updated this week
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Sep 9, 2021Updated 4 years ago
- 一起来数三角形吧！☆10Jun 27, 2024Updated last year
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- The Looking Glass Programming Environment☆11May 8, 2017Updated 8 years ago
- a sudo/doas alternative☆11Jan 19, 2023Updated 3 years ago
- The CompCert formally-verified C compiler☆10Feb 25, 2026Updated last week
- ☆15Feb 19, 2025Updated last year
- Oblivious Transfer, Oblivious Transfer Extension and Variations☆183Nov 13, 2025Updated 3 months ago
- ☆13Apr 13, 2023Updated 2 years ago
- A cli pixel art generator written in rust☆15Jan 10, 2025Updated last year
- Prover Manager☆25Updated this week
- Planning and project management for the libp2p Project☆14May 1, 2025Updated 10 months ago
- 基于 SvelteKit 框架的静态博客生成器 Static Site Generator based on SvelteKit☆12Jul 2, 2024Updated last year
- cursed☆14Mar 19, 2023Updated 2 years ago
- ☆13Sep 4, 2023Updated 2 years ago
- Cache evaluation of nix functions☆17Apr 5, 2022Updated 3 years ago
- a coroutinue lib writen by pure C☆10Feb 24, 2021Updated 5 years ago
- nixpkgs aiming for exploiting tools, which may include non-official package or difficult to push to mainstream.☆13Jul 25, 2022Updated 3 years ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Oct 19, 2022Updated 3 years ago
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆21May 21, 2025Updated 9 months ago
- MIT 6.875☆14Dec 13, 2025Updated 2 months ago
- Explore the nixpkgs dependency graph☆22Oct 7, 2023Updated 2 years ago
- 某车车云爬虫项目☆11Dec 15, 2023Updated 2 years ago
- An ssh server that creates new users on-the-fly, great for letting users participate in a demo☆19Dec 18, 2023Updated 2 years ago
- Big Ol' Chungus - an OpenCL GPU miner for Kadena's Chainweb☆12Sep 8, 2020Updated 5 years ago
- My home manager config☆16Feb 17, 2026Updated 2 weeks ago
- Multi-input functional encryption☆12Feb 8, 2018Updated 8 years ago
- Rust implementation for esoteric object notation WATSON☆17Nov 20, 2025Updated 3 months ago