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 147

  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 437 117

  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 73 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 66 repositories
  • o1js Public

    TypeScript framework for zk-SNARKs and zkApps

    TypeScript 558 Apache-2.0 147 92 (1 issue needs help) 48 Updated Apr 8, 2025
  • proof-systems Public

    The proof systems used by Mina

    Rust 437 Apache-2.0 117 140 (1 issue needs help) 71 Updated Apr 8, 2025
  • o1js-bindings Public

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

    JavaScript 13 Apache-2.0 13 18 (1 issue needs help) 17 Updated Apr 8, 2025
  • zkapp-cli Public

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

    JavaScript 121 Apache-2.0 47 66 7 Updated Apr 8, 2025
  • mina-internal-trace-consumer Public Forked from georgeee/mina-internal-trace-consumer

    Internal trace consumer and GraphQL server for Mina node

    OCaml 0 3 0 2 Updated Apr 7, 2025
  • mina-perf-testing Public

    The Mina network performance testing tools

    Go 0 Apache-2.0 0 2 1 Updated Apr 3, 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 Apr 3, 2025
  • mina-lightnet-docker Public

    Building and publishing primitives for lightweight Mina network Docker images

    Shell 0 Apache-2.0 2 1 0 Updated Apr 3, 2025
  • benchmark-infra Public

    Infrastructure for benchmarking

    0 Apache-2.0 0 2 0 Updated Apr 3, 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 31, 2025

Top languages

Loading…

Most used topics

Loading…