☆36Feb 8, 2026Updated 3 weeks ago
Alternatives and similar repositories for sunspot
Users that are interested in sunspot are comparing it to the libraries listed below
Sorting:
- The Valida execution engine, prover, and verifier☆29Oct 6, 2025Updated 4 months ago
- PADL - Private, Auditable and Distributed ledger, is a tool based on zero-knowledge proofs for exploring and building private and auditab…☆21Feb 13, 2026Updated 2 weeks ago
- Honk Verifier in Solidity☆50Feb 21, 2026Updated last week
- The Cryspen HACL Distribution☆19Apr 20, 2025Updated 10 months ago
- Make your zero-knowledge circuits safe with formal verification! 🍀☆32Nov 27, 2025Updated 3 months ago
- Jupyter kernel for the Michelson language☆18Mar 24, 2021Updated 4 years ago
- Cryptography libraries for ZKsync☆42Updated this week
- Formal verification for Solidity smart contracts with the theorem prover Rocq. Ensure no vulnerabilities for your smart contracts.☆48Jan 5, 2026Updated last month
- A complete Pokemon generation 1 battle simulator including all Pokemon and moves.☆12Feb 17, 2024Updated 2 years ago
- adamant.finance contracts☆18Jul 10, 2021Updated 4 years ago
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- ☆13Feb 3, 2026Updated 3 weeks ago
- Show your Discord friends what your scrobbling on Last.FM with this simple command line program.☆10Feb 10, 2026Updated 2 weeks ago
- The hello-world of MPC.☆14Jun 16, 2025Updated 8 months ago
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated 11 months ago
- SHA256 implemented in WASM☆13Jun 2, 2023Updated 2 years ago
- Align version numbers for all OpenRewrite maintained recipe modules☆15Updated this week
- Pure Rust implementation of the post-quantum secure digital signature scheme FAEST☆16Feb 19, 2026Updated last week
- ☆14Oct 16, 2025Updated 4 months ago
- ☆11Feb 18, 2025Updated last year
- Project template for GBA programming without the hassle of installing devkitpro☆13Nov 13, 2021Updated 4 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Cross platform stackful task/coroutine library☆11Apr 14, 2022Updated 3 years ago
- 🐺 Simple STARK verifier in cameligo☆11Jun 5, 2023Updated 2 years ago
- The Boiler framework, including sample projects☆13Feb 11, 2020Updated 6 years ago
- Some quines in the Go programming language☆15Mar 8, 2023Updated 2 years ago
- Sample Ansible RPC playbook☆11Oct 30, 2021Updated 4 years ago
- Semantic analysis engine for detecting vulnerability fixes in Windows kernel driver patches — 58 YAML rules, Ghidra decompilation, reacha…☆49Updated this week
- In-Memory Java Compiler☆12Oct 13, 2020Updated 5 years ago
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Jul 11, 2024Updated last year
- policy with experience☆54Updated this week
- ☆18Nov 5, 2025Updated 3 months ago
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Dec 2, 2024Updated last year
- ☆12May 17, 2021Updated 4 years ago
- ☆13Aug 15, 2024Updated last year
- ☆11Sep 11, 2018Updated 7 years ago
- ☆13Jul 10, 2024Updated last year
- Enterprise K3s maintenance automation - Zero-downtime OS patching with intelligent health checks, Longhorn integration, and role-based An…☆24Feb 16, 2026Updated 2 weeks ago