Skip to content
@MinaProtocol

MinaProtocol

Popular repositories Loading

  1. mina mina Public

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

    OCaml 2.1k 586

  2. gpu-groth16-prover-3x gpu-groth16-prover-3x Public

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

    C++ 101 53

  3. docs2 docs2 Public

    Docs website for the Mina Protocol.

    JavaScript 99 158

  4. snark-challenge snark-challenge Public

    Coda + Dekrypt: The SNARK Challenge - Reference Material

    C++ 36 30

  5. c-reference-signer c-reference-signer Public

    C 32 23

  6. MIPs MIPs Public

    24 20

Repositories

Showing 10 of 54 repositories
  • mina Public

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

    MinaProtocol/mina’s past year of commit activity
    OCaml 2,057 Apache-2.0 586 691 224 Updated Jul 22, 2025
  • kimchi-stubs-vendors Public
    MinaProtocol/kimchi-stubs-vendors’s past year of commit activity
    Rust 0 7 0 1 Updated Jul 21, 2025
  • dhall-buildkite Public

    Base Library for dhall CI

    MinaProtocol/dhall-buildkite’s past year of commit activity
    Dhall 1 Apache-2.0 0 0 0 Updated Jul 20, 2025
  • mina-release-toolkit Public

    Monorepo for all subprojects and scripts related to release process in mina

    MinaProtocol/mina-release-toolkit’s past year of commit activity
    1 Apache-2.0 0 0 0 Updated Jul 20, 2025
  • deb-builder Public

    Small utility for building debian pacakge

    MinaProtocol/deb-builder’s past year of commit activity
    OCaml 0 Apache-2.0 0 0 0 Updated Jun 22, 2025
  • docs2 Public

    Docs website for the Mina Protocol.

    MinaProtocol/docs2’s past year of commit activity
    JavaScript 99 158 141 (1 issue needs help) 37 Updated Jun 17, 2025
  • MIPs Public
    MinaProtocol/MIPs’s past year of commit activity
    24 20 7 2 Updated Jun 5, 2025
  • deb-s3 Public Forked from tweag/deb-s3

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

    MinaProtocol/deb-s3’s past year of commit activity
    Ruby 0 MIT 30 0 0 Updated Nov 5, 2024
  • mina-resources Public

    Repository for mina static resources files

    MinaProtocol/mina-resources’s past year of commit activity
    0 Apache-2.0 3 0 0 Updated Sep 18, 2024
  • app-mina Public Forked from LedgerHQ/app-mina

    Ledger app for Mina

    MinaProtocol/app-mina’s past year of commit activity
    C 1 Apache-2.0 35 0 0 Updated Jun 6, 2024
View all repositories