@MinaProtocol
Guthub

MinaProtocol

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2,199
  • Global Org. Rank 8,692 (Top 3 %)
  • Registered about 6 years ago
  • Most used languages
    C++
         23.1 %
    C
         15.4 %
    OCaml
         15.4 %
    Standard ML     7.7 %
    Ruby
         7.7 %
    Python
         7.7 %
    Reason     7.7 %
    TypeScript
         7.7 %
    Cuda     7.7 %

Top repositories

1

mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
OCaml
1,945
star
2

gpu-groth16-prover-3x

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

snark-challenge

Coda + Dekrypt: The SNARK Challenge - Reference Material
C++
35
star
4

c-reference-signer

C
30
star
5

MIPs

21
star
6

snark-challenge-prover-reference

C++
18
star
7

mina-grants

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

docs

Mina documentation website
Reason
10
star
9

coda-python-client

This project provides a lightweight wrapper around the Coda Daemon's GraphQL Endpoint
Python
5
star
10

ppx_optcomp

OCaml
5
star
11

snark-challenge-cuda-starter

A repository of CUDA starter code
Cuda
3
star
12

rosetta-integration-test-zkapps

TypeScript
3
star
13

ledger-coda-app

C
3
star
14

signer-reference

Standard ML
3
star
15

homebrew-mina

A Homebrew tap repo for mina
Ruby
1
star