Skip to content
@o1-labs

o1Labs

We're o1Labs. Catalyzing a new generation of zk applications. Incubators of Mina Protocol. Creators of kimchi and o1js (fka SnarkyJS)

Popular repositories Loading

  1. o1js o1js Public

    TypeScript framework for zk-SNARKs and zkApps

    TypeScript 558 142

  2. snarky snarky Public

    OCaml DSL for verifiable computation

    OCaml 499 81

  3. proof-systems proof-systems Public

    The proof systems used by Mina

    Rust 434 115

  4. zkapp-cli zkapp-cli Public

    CLI to create a zkApp (zero-knowledge app) for Mina Protocol

    JavaScript 121 47

  5. ocamlbyexample ocamlbyexample Public

    Learn Ocaml by reading code examples

    OCaml 71 4

  6. zkapp-resource-kit zkapp-resource-kit Public

    This repository is a resource kit contains links to all code, tools, documentation, and learning materials necessary to successfully become a zkApp developer and contributor. Add your projects or f…

    57 9

Repositories

Showing 10 of 65 repositories
  • proof-systems Public

    The proof systems used by Mina

    Rust 434 Apache-2.0 115 135 (1 issue needs help) 47 Updated Mar 21, 2025
  • zkapp-cli Public

    CLI to create a zkApp (zero-knowledge app) for Mina Protocol

    JavaScript 121 Apache-2.0 47 66 6 Updated Mar 21, 2025
  • o1js Public

    TypeScript framework for zk-SNARKs and zkApps

    TypeScript 558 Apache-2.0 142 91 (1 issue needs help) 45 Updated Mar 21, 2025
  • ocaml-gen Public

    This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.

    Rust 11 Apache-2.0 5 9 3 Updated Mar 20, 2025
  • dune-nix Public

    Nix wrapping suitable for multi-package dune repositories

    Nix 2 Apache-2.0 0 0 0 Updated Mar 20, 2025
  • o1js-bindings Public

    Bindings for o1js to lower layers of the proof system and the Mina transaction logic

    JavaScript 12 Apache-2.0 13 18 (1 issue needs help) 16 Updated Mar 20, 2025
  • mina-perf-testing Public

    The Mina network performance testing tools

    Go 0 Apache-2.0 0 2 1 Updated Mar 19, 2025
  • Archive-Node-API Public

    This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node

    TypeScript 18 4 7 2 Updated Mar 10, 2025
  • wait-for-mina-network-action Public

    GitHub Action to wait for the Mina network readiness.

    TypeScript 4 Apache-2.0 0 0 3 Updated Mar 3, 2025
  • 3 1 0 0 Updated Feb 13, 2025