MinaProtocol

Pinned Repositories

c-reference-signer
Language:C32 20 1323
docs
Mina documentation website
Language:Reason10 20 4768
docs2
Docs website for the Mina Protocol.
Language:JavaScript100 20 380163
gpu-groth16-prover-3x
On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!
Language:C++98 7 153
mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Language:OCaml2.1k 91 6.4k583
mina-grants
All contents related to the Mina grant program and projects in scope
15 26 1212
mina-rs
Rust implementation of the Mina protocol, targeting Wasm and ARM architectures.
Language:Rust10 2 06
MIPs
24 11 1020
snark-challenge
Coda + Dekrypt: The SNARK Challenge - Reference Material
Language:C++36 32 329
snark-challenge-prover-reference
Language:C++22 27 346

MinaProtocol's Repositories

MinaProtocol/mina-grants
All contents related to the Mina grant program and projects in scope
15 26 1212
MinaProtocol/cuda-fixnum
Extended-precision modular arithmetic library that targets CUDA.
Language:Cuda8 3 011
MinaProtocol/coda-python-client
This project provides a lightweight wrapper around the Coda Daemon's GraphQL Endpoint
Language:Python5 25 111
MinaProtocol/ledger-coda-app
Language:C3 5 10
MinaProtocol/pairing
Pairing-friendly elliptic curve library, supporting BLS12-381, MNT4-753, and MNT6-753
Language:Rust3 6 01
MinaProtocol/signer-reference
Language:Standard ML3 4 03
MinaProtocol/snark-challenge-cuda-starter
A repository of CUDA starter code
Language:Cuda3 6 04
MinaProtocol/prometheus
OCaml library for reporting metrics to a Prometheus server
Language:OCaml2 1 02
MinaProtocol/graphiql-with-extensions
A convenience package for those who just want a single-line drop-in replacement for existing GraphiQL usage
Language:JavaScript1 1 0
MinaProtocol/homebrew-mina
A Homebrew tap repo for mina
Language:Ruby1 22 13
MinaProtocol/kademlia
A haskell library implementing the Kademlia DHT
Language:Haskell1 11 02
MinaProtocol/coda-devops-interview
Language:Python22 0
MinaProtocol/digestif
Simple hash algorithms in OCaml
Language:OCaml5 01
MinaProtocol/issues-experiment
Experiment to gather feedback from the community on new issue templates
5 5
MinaProtocol/mix-to-nix
Mina owned fork. Generate sandbox buildable Nix expression from Mix lock file
Language:Nix1 0
MinaProtocol/nix-utils
Mina owned fork. Nix utilities
Language:Nix1 0
MinaProtocol/ocaml-extlib
Extended Standard Library for OCaml
Language:OCaml5 01
MinaProtocol/orocksdb
An OCaml RocksDb binding using ocaml-ctypes
Language:OCaml11 01
MinaProtocol/ppx_deriving
Type-driven code generation for OCaml >=4.02
Language:OCaml6 0
MinaProtocol/ppx_deriving_yojson
A Yojson codec generator for OCaml.
Language:OCaml1 0
MinaProtocol/progress
Progress bar library for OCaml
Language:OCaml1 0
MinaProtocol/rosetta-specifications
Specification files for the Rosetta Blockchain Standard
Language:Shell1 0
MinaProtocol/testnetc2
Command and control tooling for testnet
5 0