Skip to content

@o1-labs o1Labs

Change the repository type filter

All

    Repositories list

    70 repositories

    • proof-systems

      Public
      The proof systems used by Mina
      kimchibulletproofszksnarkszero-knowledge-proofsplonkrecursive-zkps
      Rust
      •
      Apache License 2.0
      •121•439•158•63•Updated Jun 10, 2025Jun 10, 2025

    • seeds

      Public
      Official Seed Lists Repository
      Shell
      •5•1•1•0•Updated Jun 10, 2025Jun 10, 2025

    • mcp-o1js

      Public
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Jun 10, 2025Jun 10, 2025

    • zkapp-cli

      Public
      CLI to create a zkApp (zero-knowledge app) for Mina Protocol
      blockchaincryptocurrencyweb3minazero-knowledge
      JavaScript
      •
      Apache License 2.0
      •47•122•66•5•Updated Jun 10, 2025Jun 10, 2025

    • o1js

      Public
      TypeScript framework for zk-SNARKs and zkApps
      TypeScript
      •
      Apache License 2.0
      •157•570•103•57•Updated Jun 9, 2025Jun 9, 2025

    • opam-repository

      Public
      2•0•0•1•Updated Jun 5, 2025Jun 5, 2025

    • snarky

      Public
      OCaml DSL for verifiable computation
      OCaml
      •
      MIT License
      •84•501•3•6•Updated Jun 4, 2025Jun 4, 2025

    • orocksdb

      Public
      An OCaml RocksDb binding using ocaml-ctypes
      OCaml
      •
      MIT License
      •15•0•0•2•Updated Jun 4, 2025Jun 4, 2025

    • saffron-stubs-vendors

      Public
      Rust
      •0•0•0•0•Updated May 29, 2025May 29, 2025

    • mina-perf-testing

      Public
      The Mina network performance testing tools
      Go
      •
      Apache License 2.0
      •0•0•2•2•Updated May 28, 2025May 28, 2025

    • mina-internal-trace-consumer

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

    • mina-frontend

      Public
      mina-frontend is an Angular web application that is showing node's progress, logs and statistics.
      TypeScript
      •
      Other
      •1•0•0•2•Updated May 26, 2025May 26, 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
      •4•19•7•2•Updated May 16, 2025May 16, 2025

    • mdbook-linkcheck

      Public
      A backend for `mdbook` which will check your links for you.
      Rust
      •
      MIT License
      •31•0•0•0•Updated May 8, 2025May 8, 2025

    • o1js-bindings

      Public archive
      Bindings for o1js to lower layers of the proof system and the Mina transaction logic
      JavaScript
      •
      Apache License 2.0
      •13•13•18•9•Updated Apr 25, 2025Apr 25, 2025

    • 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
      •5•11•10•2•Updated Apr 23, 2025Apr 23, 2025

    • wait-for-mina-network-action

      Public
      GitHub Action to wait for the Mina network readiness.
      TypeScript
      •
      Apache License 2.0
      •0•4•0•3•Updated Apr 21, 2025Apr 21, 2025

    • mina-lightnet-docker

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

    • benchmark-infra

      Public
      Infrastructure for benchmarking
      Apache License 2.0
      •0•0•2•0•Updated Apr 3, 2025Apr 3, 2025

    • proof-systems-vendors

      Public
      Rust
      •0•0•0•0•Updated Mar 31, 2025Mar 31, 2025

    • dune-nix

      Public
      Nix wrapping suitable for multi-package dune repositories
      Nix
      •
      Apache License 2.0
      •0•3•0•0•Updated Mar 25, 2025Mar 25, 2025

    • describe-dune

      Public
      Describe dune project structure as JSON
      OCaml
      •
      Apache License 2.0
      •0•9•0•0•Updated Mar 25, 2025Mar 25, 2025

    • project-untitled-whitepaper

      Public
      1•3•1•0•Updated Feb 13, 2025Feb 13, 2025

    • rfcs

      Public
      RFCs for everything O(1) Labs
      4•4•5•14•Updated Dec 3, 2024Dec 3, 2024

    • mina-lightweight-explorer

      Public
      Lightweight Mina Explorer
      HTML
      •
      Apache License 2.0
      •1•4•1•0•Updated Nov 17, 2024Nov 17, 2024

    • ocaml-sodium

      Public
      Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
      OCaml
      •28•0•0•1•Updated Apr 10, 2024Apr 10, 2024

    • 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 findings here!
      developer-toolsdeveloper-experienceminazero-knowledgezero-knowledge-proofsmina-protocoldeveloper-experience-kit
      Apache License 2.0
      •9•57•1•1•Updated Mar 10, 2024Mar 10, 2024

    • ocaml-graphql-server

      Public
      GraphQL servers in OCaml
      OCaml
      •
      MIT License
      •61•0•0•0•Updated Mar 3, 2024Mar 3, 2024

    • integers_stubs_js

      Public
      Javascript stubs for the integers library in js_of_ocaml
      JavaScript
      •
      MIT License
      •6•6•5•2•Updated Feb 21, 2024Feb 21, 2024

    • proof-of-alpha

      Public
      TypeScript
      •0•0•19•0•Updated Sep 6, 2023Sep 6, 2023