Skip to content

@o1-labs o1Labs

Change the repository type filter

All

    Repositories list

    63 repositories

    • proof-systems

      Public
      The proof systems used by Mina
      kimchibulletproofszksnarkszero-knowledge-proofsplonkrecursive-zkps
      Rust
      •
      Apache License 2.0
      •106•421•120•31•Updated Jan 6, 2025Jan 6, 2025

    • snarky

      Public
      OCaml DSL for verifiable computation
      OCaml
      •
      MIT License
      •76•499•1•6•Updated Jan 6, 2025Jan 6, 2025

    • o1js-bindings

      Public
      Bindings for o1js to lower layers of the proof system and the Mina transaction logic
      JavaScript
      •
      Other
      •11•12•18•14•Updated Jan 6, 2025Jan 6, 2025

    • wait-for-mina-network-action

      Public
      GitHub Action to wait for the Mina network readiness.
      TypeScript
      •
      Apache License 2.0
      •0•4•0•0•Updated Dec 31, 2024Dec 31, 2024

    • mina-lightnet-docker

      Public
      Building and publishing primitives for lightweight Mina network Docker images
      Shell
      •
      Apache License 2.0
      •2•0•0•0•Updated Dec 30, 2024Dec 30, 2024

    • zkapp-cli

      Public
      CLI to create a zkApp (zero-knowledge app) for Mina Protocol
      blockchaincryptocurrencyweb3minazero-knowledge
      JavaScript
      •
      Apache License 2.0
      •47•119•66•3•Updated Dec 25, 2024Dec 25, 2024

    • o1js

      Public
      TypeScript framework for zk-SNARKs and zkApps
      TypeScript
      •
      Apache License 2.0
      •134•545•75•35•Updated Dec 24, 2024Dec 24, 2024

    • mina-perf-testing

      Public
      The Mina network performance testing tools
      Go
      •
      Apache License 2.0
      •0•0•2•0•Updated Dec 19, 2024Dec 19, 2024

    • 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•18•8•1•Updated Dec 17, 2024Dec 17, 2024

    • docs2

      Public
      Docs website for the Mina Protocol.
      blockchaincryptocurrencyminazkzero-knowledgezkpzkapps
      JavaScript
      •144•94•140•29•Updated Dec 16, 2024Dec 16, 2024

    • mina-frontend

      Public
      mina-frontend is an Angular web application that is showing node's progress, logs and statistics.
      TypeScript
      •
      Other
      •1•0•0•0•Updated Dec 11, 2024Dec 11, 2024

    • rfcs

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

    • benchmark-infra

      Public
      Infrastructure for benchmarking
      Apache License 2.0
      •0•0•2•0•Updated Nov 29, 2024Nov 29, 2024

    • mina-lightweight-explorer

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

    • proof-systems-vendors

      Public
      Rust
      •0•0•0•0•Updated Sep 19, 2024Sep 19, 2024

    • opam-repository

      Public
      0•0•0•0•Updated Aug 28, 2024Aug 28, 2024

    • dune-nix

      Public
      Nix wrapping suitable for multi-package dune repositories
      Nix
      •
      Apache License 2.0
      •0•2•0•0•Updated Aug 23, 2024Aug 23, 2024

    • describe-dune

      Public
      Describe dune project structure as JSON
      OCaml
      •
      Apache License 2.0
      •0•10•0•0•Updated Aug 23, 2024Aug 23, 2024

    • mdbook-linkcheck

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

    • orocksdb

      Public
      An OCaml RocksDb binding using ocaml-ctypes
      OCaml
      •
      MIT License
      •14•0•0•0•Updated Apr 19, 2024Apr 19, 2024

    • ocaml-sodium

      Public
      Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
      OCaml
      •27•0•0•0•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

    • 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

    • 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•9•0•Updated Dec 15, 2023Dec 15, 2023

    • eslint-plugin-o1js

      Public
      ESLint rules for o1js
      TypeScript
      •
      Apache License 2.0
      •0•1•2•0•Updated Sep 5, 2023Sep 5, 2023

    • go-libp2p-kad-dht-patcher

      Public
      Utility to patch the peer protection logic in go-libp2p-kad-dht
      Go
      •
      MIT License
      •3•0•0•0•Updated Aug 16, 2023Aug 16, 2023

    • go-bs-lmdb

      Public
      Go
      •
      Other
      •5•0•0•0•Updated Feb 8, 2023Feb 8, 2023

    • anonvote

      Public
      JavaScript
      •4•5•0•5•Updated Jan 4, 2023Jan 4, 2023

    • ocamlbyexample

      Public
      Learn Ocaml by reading code examples
      examplesocamlopamduneutopexamples-ocaml
      OCaml
      •4•70•18•0•Updated Dec 13, 2022Dec 13, 2022

    • wasm-bindgen-rayon

      Public
      An adapter for enabling Rayon-based concurrency on the Web with WebAssembly.
      JavaScript
      •
      Apache License 2.0
      •33•0•0•0•Updated Sep 26, 2022Sep 26, 2022