Bindings for o1js to lower layers of the proof system and the Mina transaction logic
☆13Apr 25, 2025Updated last year
Alternatives and similar repositories for o1js-bindings
Users that are interested in o1js-bindings are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Nov 4, 2021Updated 4 years ago
- Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.☆23Oct 20, 2023Updated 2 years ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆97Nov 6, 2025Updated 8 months ago
- Private Attestations for Mina wallets☆16Sep 24, 2025Updated 9 months ago
- CLI to create a zkApp (zero-knowledge app) for Mina Protocol☆124Jun 23, 2026Updated 2 weeks 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.
- ☆22Jan 3, 2025Updated last year
- A toolchain for interaction with the Proof Market protocol.☆23Jan 5, 2024Updated 2 years ago
- ☆28Aug 19, 2024Updated last year
- OCaml record fields as first class values☆22May 18, 2026Updated last month
- ☆13Jan 22, 2024Updated 2 years ago
- This repository is a resource kit contains links to all code, tools, documentation, and learning materials necessary to successfully beco…☆58Mar 10, 2024Updated 2 years ago
- ☆30May 13, 2026Updated last month
- A zkApp based staking pool for MINA☆15May 8, 2023Updated 3 years ago
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆25Oct 7, 2025Updated 9 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆19Sep 4, 2020Updated 5 years ago
- ☆21Mar 6, 2025Updated last year
- ☆25Jan 10, 2024Updated 2 years ago
- An open-source protocol and distributed network for confidential coordination.☆64Jun 30, 2026Updated last week
- Hazook is a fast ZK-Rollup built on Mina that parallelizes the accumulation of zk state proofs☆16Jan 24, 2024Updated 2 years ago
- List of zkApps and other applications that are built on Mina / o1js.☆15Jan 8, 2024Updated 2 years ago
- A collection of functional, mergeable datatypes for Irmin☆12Dec 25, 2016Updated 9 years ago
- A simple js_of_ocaml workflow with Reason and esy☆16Dec 11, 2022Updated 3 years ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated 2 years 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.
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆20Mar 20, 2021Updated 5 years ago
- Receive payment anonymously from anyone.☆12Feb 9, 2025Updated last year
- OCaml parsers for multiple key formats☆15Aug 1, 2024Updated last year
- A TypeScript-first implementation of the Borsh binary serialization format, with a modern Zod-like API and full type inference.☆14Jun 22, 2026Updated 2 weeks ago
- logic file system☆27Mar 16, 2018Updated 8 years ago
- Chart.js bindings for OCaml☆13May 13, 2021Updated 5 years ago
- Add UTF decoding support to the OCaml Stdlib☆16Sep 4, 2022Updated 3 years ago
- Progressive Mina Protocol Wallet☆32Sep 4, 2025Updated 10 months ago
- In-EVM Mina State Verification☆81Nov 10, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- (Deprecated) Demo for Valence ZK programs.☆13May 30, 2025Updated last year
- File mapping☆12Dec 14, 2023Updated 2 years ago
- Make Agent CLI is a powerful command-line tool designed to streamline the management and deployment of AI agents across multiple chains. …☆15Sep 3, 2025Updated 10 months ago
- A guide on smart contract patterns & practices☆31Aug 7, 2020Updated 5 years ago
- A collection of notes while learning things.☆13Dec 18, 2013Updated 12 years ago
- ☆19May 27, 2026Updated last month
- Deriving morphisms for OCaml data structures☆11Aug 28, 2019Updated 6 years ago