☆30Apr 10, 2026Updated 3 weeks ago
Alternatives and similar repositories for zkverify-docs
Users that are interested in zkverify-docs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Typescript SDK for interacting with Mind Randgen Hub☆14Jan 16, 2025Updated last year
- A Move implementation of a time locked Satoshi coin flip game.☆29Dec 4, 2025Updated 5 months ago
- The Layer3 ERC20 Token☆11Oct 1, 2025Updated 7 months ago
- ☆26Apr 25, 2026Updated last week
- ☆13Apr 9, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆12Oct 31, 2024Updated last year
- ACL2 experiments on arithmetic circuits☆13Jul 31, 2024Updated last year
- Interblockchain Communication Protocol (IBC) implementation in Golang.☆11Mar 9, 2024Updated 2 years ago
- ☆13Nov 21, 2025Updated 5 months ago
- An open-source project for sui developers☆13Jun 23, 2024Updated last year
- An example template to help you get started with Checkpoint.☆10Sep 2, 2025Updated 8 months ago
- ☆11Jun 22, 2025Updated 10 months ago
- A Toolkit to help dApps Chain Abtract their user flows.☆16Mar 27, 2024Updated 2 years ago
- A curated list of Seal tools and projects☆19Nov 12, 2025Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An interactive sandbox to explore the GenLayer Protocol☆130Updated this week
- Cosmic Insights: Statistical Frameworks for Astronomers in R☆13Updated this week
- Galactica Network monorepo including zero-knowledge certificates, the Galactica ZK Vault Snap for Metamask and front-end examples.☆13Feb 12, 2026Updated 2 months ago
- ☆16Aug 15, 2025Updated 8 months ago
- ☆14Oct 7, 2025Updated 6 months ago
- A curated list of awesome Nexus code, libraries, software and resources☆21Feb 26, 2025Updated last year
- Unstoppable Domains - Your identity, crypto address, and login for Web3☆22Feb 26, 2026Updated 2 months ago
- Primus zktls sdk☆32Apr 28, 2026Updated last week
- ☆10Feb 11, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Mirror of http://git.cweiske.de/indieauth-openid.git/☆13Mar 5, 2023Updated 3 years ago
- Postgres extension to handle IBC datatypes.☆24Aug 13, 2025Updated 8 months ago
- A library for lattice-based multiparty homomorphic encryption in Go☆14Dec 20, 2024Updated last year
- Vim syntax file for Sway.☆20Feb 29, 2024Updated 2 years ago
- Plugin for website-scraper which allows to save resources to existing directory☆13Apr 19, 2026Updated 2 weeks ago
- ☆10Aug 3, 2024Updated last year
- ☆18Updated this week
- Blockchain demo based on Tendermint☆11Apr 24, 2019Updated 7 years ago
- CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine☆16Apr 21, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A short exercice to deploy a StarkNet contract using remix☆13Jan 18, 2023Updated 3 years ago
- This repository contains different tools to simulate underlyings under SV dynamics. As well, we have implemented several tools for comput…☆15May 23, 2022Updated 3 years ago
- ☆13Sep 24, 2024Updated last year
- Docusaurus project for Polymer Developer Hub documentation☆22Mar 30, 2026Updated last month
- AI Pose-Controlled Human Generation 🎮🤖 This project uses computer vision and AI-based pose detection to track human movements in real-t…☆18Sep 16, 2025Updated 7 months ago
- Programs and Proofs -- Spring 2025 -- IITM☆20May 10, 2025Updated 11 months ago
- ☆19Apr 21, 2026Updated last week