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

  1. snarky snarky Public

    OCaml DSL for verifiable computation

    OCaml 492 73

  2. o1js o1js Public

    TypeScript framework for zk-SNARKs and zkApps

    TypeScript 491 107

  3. proof-systems proof-systems Public

    The proof systems used by Mina

    Rust 397 90

  4. zkapp-cli zkapp-cli Public

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

    JavaScript 114 43

  5. docs2 docs2 Public

    Docs website for the Mina Protocol.

    JavaScript 78 120

  6. ocamlbyexample ocamlbyexample Public

    Learn Ocaml by reading code examples

    OCaml 64 4

Repositories

Showing 10 of 61 repositories
  • o1js Public

    TypeScript framework for zk-SNARKs and zkApps

    o1-labs/o1js’s past year of commit activity
    TypeScript 491 Apache-2.0 107 240 (2 issues need help) 21 Updated Aug 24, 2024
  • o1js-bindings Public

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

    o1-labs/o1js-bindings’s past year of commit activity
    JavaScript 10 9 19 (1 issue needs help) 11 Updated Aug 24, 2024
  • dune-nix Public

    Nix wrapping suitable for multi-package dune repositories

    o1-labs/dune-nix’s past year of commit activity
    Nix 0 Apache-2.0 0 0 0 Updated Aug 23, 2024
  • describe-dune Public

    Describe dune project structure as JSON

    o1-labs/describe-dune’s past year of commit activity
    OCaml 0 Apache-2.0 0 0 0 Updated Aug 23, 2024
  • proof-systems Public

    The proof systems used by Mina

    o1-labs/proof-systems’s past year of commit activity
    Rust 397 Apache-2.0 90 84 50 Updated Aug 22, 2024
  • docs2 Public

    Docs website for the Mina Protocol.

    o1-labs/docs2’s past year of commit activity
    JavaScript 78 120 138 (1 issue needs help) 22 Updated Aug 21, 2024
  • zkapp-cli Public

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

    o1-labs/zkapp-cli’s past year of commit activity
    JavaScript 114 Apache-2.0 43 69 3 Updated Aug 21, 2024
  • wait-for-mina-network-action Public

    GitHub Action to wait for the Mina network readiness.

    o1-labs/wait-for-mina-network-action’s past year of commit activity
    TypeScript 4 Apache-2.0 0 0 0 Updated Aug 20, 2024
  • proof-systems-vendors Public
    o1-labs/proof-systems-vendors’s past year of commit activity
    Rust 0 0 0 0 Updated Aug 16, 2024
  • mina-lightnet-docker Public

    Building and publishing primitives for lightweight Mina network Docker images

    o1-labs/mina-lightnet-docker’s past year of commit activity
    Shell 0 Apache-2.0 1 0 0 Updated Aug 2, 2024
View all repositories

Most used topics

Loading…