ZK recovery contract: design, audits, and prototyping (private)
☆17Jul 15, 2026Updated 3 months ago
Alternatives and similar repositories for proof-zk-recovery
Users that are interested in proof-zk-recovery are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Updated this week
- ☆12Mar 4, 2024Updated 2 years ago
- Brick Towers Midnight Local Test Network☆31Mar 22, 2026Updated 7 months ago
- Unit testing with resource estimation for Plutus☆30Jan 8, 2025Updated last year
- AI tooling support (Claude)☆47Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Midnight Improvement Proposals (MIPs)☆22Updated this week
- ☆13Jul 9, 2026Updated 3 months ago
- Intersect MBO Open Source Office (OSO)☆16Apr 28, 2026Updated 6 months ago
- Implementation experiments as part of the design process of Starstream VM☆49Updated this week
- ☆15Mar 15, 2023Updated 3 years ago
- account based model simplified and aerodynamic like a bullet☆24Mar 25, 2025Updated last year
- Midnight-Skills☆18Oct 27, 2026Updated last week
- 🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.☆14Sep 24, 2026Updated last month
- Collection of Python3 modules for working with outranking graphs☆10Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- UnionType in Idris☆10Jun 24, 2018Updated 8 years ago
- An evolving collection of Oleg Kiselyov's Haskell modules (released with his permission). See the original articles at http://okmij.org/…☆13Jan 5, 2014Updated 12 years ago
- Substrate node with capability of communicating with Cardano network☆70Apr 23, 2026Updated 6 months ago
- A simple XML module for Idris.☆12May 22, 2020Updated 6 years ago
- A template for idris projects☆11Jun 27, 2021Updated 5 years ago
- A Haskell clone of https://cstack.github.io/db_tutorial☆11Jun 30, 2020Updated 6 years ago
- COOP - Cardano open oracle protocol☆21Mar 20, 2024Updated 2 years ago
- Reference implementation of Approximate Lower Bound Arguments☆19Apr 18, 2025Updated last year
- Safe Rust CLI to auto-organize your Downloads and other messy folders.☆27Aug 2, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- TurboCardano: A fast and daring C++ Node for Cardano.☆24Updated this week
- ☆25Updated this week
- Run a Midnight validator using podman/docker☆34Updated this week
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆20Sep 28, 2026Updated last month
- A Complete Guide to Zero-Knowledge Proof Systems☆118Aug 31, 2026Updated 2 months ago
- Cross Chain Abstraction Orchestrator☆93Oct 8, 2026Updated 3 weeks ago
- ☆22Jan 12, 2025Updated last year
- Source code for Gunnar Morling's website.☆17Oct 15, 2026Updated 2 weeks ago
- A blazing fast static site generator☆17Jul 28, 2026Updated 3 months ago
- 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.
- Retrieve an XRP Ledger in JSON by sequence number☆21Jun 24, 2025Updated last year
- This is a simple REST API application in golang.☆10Jun 9, 2019Updated 7 years ago
- Trading Strategy Executor Framework for the Genius Yield DEX.☆11Feb 20, 2026Updated 8 months ago
- ☆18Dec 13, 2023Updated 2 years ago
- 🔬 A collection of scripts to classify and analyze the on-chain smart contract activity on Cardano☆10Sep 9, 2026Updated last month
- AI-powered SRE agent built on Claude Code channels. Receives SigNoz alerts via webhook, investigates autonomously using kubectl and trace…☆29Updated this week
- Service for ingesting, aggregating, storing, and disbursing XRP Ledger validation related data.☆24Updated this week