MinaProtocol

mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

gpu-groth16-prover-3x

On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!

snark-challenge

Coda + Dekrypt: The SNARK Challenge - Reference Material

c-reference-signer

MIPs

snark-challenge-prover-reference

mina-grants

All contents related to the Mina grant program and projects in scope

docs

Mina documentation website

mina-rs

Rust implementation of the Mina protocol, targeting Wasm and ARM architectures.

ppx_optcomp

rpanic

zkApps and Tests for the Mina E2E Testing Program

rosetta-integration-test-zkapps

rosetta-sdk-go

Rosetta Client Go SDK

async_kernel

fork of async_kernel with tracing support

prometheus

OCaml library for reporting metrics to a Prometheus server

rosetta-cli

CLI for the Rosetta API

rpc_parallel

Type-safe library for building parallel applications, built on top of Async's Rpc module.

comdex

nix-npm-buildpackage

Mina owned fork. Build nix packages that use npm/yarn

app-mina

Ledger app for Mina

deb-s3

MinaProtocol's fork of deb-s3/deb-s3

flake-buildkite-pipeline

Mina owned fork of flake-buildkite-pipeline.

flake-compat

Mina owned fork of flake-compat.

flake-utils-plus

Mina owned fork. Use Nix flakes without any fluff.

Flockenzeit

Mina owned fork. Datetime manipulation library for Nix

gitignore.nix

Mina owned fork. Nix functions for filtering local git sources

kimchi-stubs-vendors

mix-to-nix

Mina owned fork. Generate sandbox buildable Nix expression from Mix lock file

nix-filter

Mina owned fork. A small self-container source filtering lib

opam-nix

Mina owned fork. Turn opam-based OCaml projects into Nix derivations