o1Labs

snarky

OCaml DSL for verifiable computation

o1js

TypeScript framework for zk-SNARKs and zkApps

proof-systems

The proof systems used by Mina

zkapp-cli

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

docs2

Docs website for the Mina Protocol.

ocamlbyexample

Learn Ocaml by reading code examples

zkapp-resource-kit

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!

Archive-Node-API

This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node

ocaml-gen

This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.

o1js-bindings

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

ppx_version

Versioning of types with bin_prot serialization

integers_stubs_js

Javascript stubs for the integers library in js_of_ocaml

anonvote

wait-for-mina-network-action

GitHub Action to wait for the Mina network readiness.

mina-lightweight-explorer

Lightweight Mina Explorer

rfcs

RFCs for everything O(1) Labs

code-review-question

Code review interview question repo

eslint-plugin-o1js

ESLint rules for o1js

graphql_ppx

GraphQL PPX rewriter for Bucklescript/ReasonML

benchmark-infra

Infrastructure for benchmarking

describe-dune

Describe dune project structure as JSON

go-bs-lmdb

go-bs-tests

Go bitswap test kit

go-libp2p

libp2p implementation in Go

go-libp2p-kad-dht-patcher

Utility to patch the peer protection logic in go-libp2p-kad-dht

go-mplex

A port of maxogden's multiplex to go

ocaml-sodium

Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl

opam-repository

orocksdb

An OCaml RocksDb binding using ocaml-ctypes

wasm-bindgen-rayon

An adapter for enabling Rayon-based concurrency on the Web with WebAssembly.