Skip to content

@o1-labs o1Labs

Change the repository type filter

All

    Repositories list

    91 repositories

    • snarky

      Public
      OCaml DSL for verifiable computation
      OCaml
      •
      MIT License
      •86•504•4•7•Updated Jan 7, 2026Jan 7, 2026

    • mina-rust

      Public
      The Mina Rust node is an implementation in Rust of the Mina Protocol
      rustblockchainminazkzk-snarksmina-protocol
      Rust
      •
      Apache License 2.0
      •41•119•323•44•Updated Jan 7, 2026Jan 7, 2026

    • proof-systems

      Public
      The proof systems used by Mina
      kimchibulletproofszksnarkszero-knowledge-proofsplonkrecursive-zkps
      Rust
      •
      Apache License 2.0
      •137•456•166•63•Updated Jan 7, 2026Jan 7, 2026

    • o1js

      Public
      TypeScript framework for zk-SNARKs and zkApps
      TypeScript
      •
      Apache License 2.0
      •170•602•168•74•Updated Jan 7, 2026Jan 7, 2026

    • zkapp-cli

      Public
      CLI to create a zkApp (zero-knowledge app) for Mina Protocol
      blockchaincryptocurrencyweb3minazero-knowledge
      JavaScript
      •
      Apache License 2.0
      •50•126•68•7•Updated Jan 7, 2026Jan 7, 2026

    • mina-network-debugger

      Public
      Rust
      •2•4•20•0•Updated Jan 6, 2026Jan 6, 2026

    • ocaml-gen

      Public
      This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.
      rustocamlffibindingsocaml-rs
      Rust
      •
      Apache License 2.0
      •6•13•9•0•Updated Dec 18, 2025Dec 18, 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
      •6•19•8•5•Updated Dec 18, 2025Dec 18, 2025

    • mina-on-chain-voting

      Public
      Mina On-Chain Voting
      TypeScript
      •
      Mozilla Public License 2.0
      •5•1•0•1•Updated Dec 18, 2025Dec 18, 2025

    • mina-internal-trace-consumer

      Public
      Internal trace consumer and GraphQL server for Mina node
      OCaml
      •3•0•0•0•Updated Dec 17, 2025Dec 17, 2025

    • mina-lightnet-docker

      Public
      Building and publishing primitives for lightweight Mina network Docker images
      Shell
      •
      Apache License 2.0
      •2•1•2•2•Updated Dec 15, 2025Dec 15, 2025

    • mina-perf-testing

      Public
      The Mina network performance testing tools
      Go
      •
      Apache License 2.0
      •0•1•2•4•Updated Dec 12, 2025Dec 12, 2025

    • opam-repository

      Public
      2•0•0•3•Updated Dec 6, 2025Dec 6, 2025

    • async_kernel

      Public
      Jane Street Capital's asynchronous execution library (core)
      OCaml
      •
      MIT License
      •32•0•0•0•Updated Dec 6, 2025Dec 6, 2025

    • community-grants

      Public
      Community grants
      0•0•4•0•Updated Dec 4, 2025Dec 4, 2025

    • seeds

      Public
      Official Seed Lists Repository
      Shell
      •9•1•1•2•Updated Dec 4, 2025Dec 4, 2025

    • ocaml-graphql-server

      Public
      GraphQL servers in OCaml
      OCaml
      •
      MIT License
      •60•0•0•0•Updated Nov 29, 2025Nov 29, 2025

    • ocaml-sodium

      Public
      Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
      OCaml
      •28•0•0•1•Updated Nov 25, 2025Nov 25, 2025

    • uptime-service-backend

      Public
      Go
      •2•0•0•1•Updated Nov 24, 2025Nov 24, 2025

    • redux-rs

      Public
      Rust
      •
      Apache License 2.0
      •1•3•0•6•Updated Nov 24, 2025Nov 24, 2025

    • o1js-documentation-site

      Public
      MDX
      •2•0•0•2•Updated Nov 10, 2025Nov 10, 2025

    • napi-rs

      Public
      A framework for building compiled Node.js add-ons in Rust via Node-API
      Rust
      •
      Other
      •351•0•0•0•Updated Nov 3, 2025Nov 3, 2025

    • memtrace_viewer

      Public
      Interactive memory profiler based on Memtrace
      OCaml
      •
      MIT License
      •8•0•0•0•Updated Oct 21, 2025Oct 21, 2025

    • toolchain-base-rev-eng

      Public
      Reverse engineering Mina's toolchainbase
      Dockerfile
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 14, 2025Oct 14, 2025

    • circuit-blobs

      Public
      Binaries for witness generation
      Common Lisp
      •0•0•0•0•Updated Oct 6, 2025Oct 6, 2025

    • uptime-service-validation

      Public
      Python
      •2•0•0•1•Updated Sep 26, 2025Sep 26, 2025

    • async_ssl

      Public
      Async wrappers for ssl
      OCaml
      •
      MIT License
      •25•0•0•0•Updated Sep 24, 2025Sep 24, 2025

    • submission-report

      Public
      Web app for querying and displaying report details for block producer submissions over specified time periods.
      Python
      •2•0•0•0•Updated Sep 22, 2025Sep 22, 2025

    • delegation-program-leaderboard

      Public
      Frontend used by the Delegation Program Leaderboard
      CSS
      •2•0•0•0•Updated Sep 22, 2025Sep 22, 2025

    • submission-updater

      Public
      Go
      •2•0•0•0•Updated Sep 22, 2025Sep 22, 2025