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 562 148

  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 439 119

  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
  • proof-systems Public

    The proof systems used by Mina

    Rust 439 Apache-2.0 119 146 (1 issue needs help) 51 Updated Apr 24, 2025
  • o1js Public

    TypeScript framework for zk-SNARKs and zkApps

    TypeScript 562 Apache-2.0 148 104 (1 issue needs help) 43 Updated Apr 24, 2025
  • snarky Public

    OCaml DSL for verifiable computation

    OCaml 499 MIT 81 2 6 Updated Apr 24, 2025
  • zkapp-cli Public

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

    JavaScript 121 Apache-2.0 47 66 6 Updated Apr 24, 2025
  • mina-perf-testing Public

    The Mina network performance testing tools

    Go 0 Apache-2.0 0 2 1 Updated Apr 24, 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 2 Updated Apr 23, 2025
  • mina-frontend Public Forked from openmina/mina-frontend

    mina-frontend is an Angular web application that is showing node's progress, logs and statistics.

    TypeScript 0 1 0 2 Updated Apr 23, 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) 10 Updated Apr 23, 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 19 4 7 3 Updated Apr 21, 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 Apr 21, 2025

Top languages

Loading…

Most used topics

Loading…