GeezerVison is showing github.com — MinaProtocol
Popular repositories
Loading
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
OCaml
2.1k
586
Docs website for the Mina Protocol.
JavaScript
102
178
On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!
C++
98
52
Coda + Dekrypt: The SNARK Challenge - Reference Material
C++
34
27
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C
C++
Cuda
Dhall
Go
Haskell
JavaScript
Nix
OCaml
Python
Reason
Ruby
Rust
Shell
Standard ML
TypeScript
Sort
Showing 10 of 61 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
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
Rust
1
Apache-2.0
2
4
1
Updated Nov 12, 2026
deb-toolkit
Public
Small utility for building debian pacakge
MinaProtocol/deb-toolkit's past year of commit activity
Rust
0
Apache-2.0
0
0
0
Updated Nov 12, 2026
mina-provision
Public
Fetch, verify and place the published artifacts a Mina node needs: archive dumps, precomputed blocks and runtime config files.
MinaProtocol/mina-provision's past year of commit activity
Go
1
Apache-2.0
1
0
4
Updated Nov 12, 2026
docs2
Public
Docs website for the Mina Protocol.
MinaProtocol/docs2's past year of commit activity
mina-verify
Public
Rust toolkit for trustless Mina block-proof verification, fork detection, and chain monitoring.
MinaProtocol/mina-verify's past year of commit activity
Rust
0
Apache-2.0
0
0
0
Updated Oct 18, 2026
MinaProtocol/submodule-credentials-buildkite-plugin's past year of commit activity
Shell
0
0
0
0
Updated Sep 17, 2026
MinaProtocol/deb-s3's past year of commit activity
Ruby
0
MIT
36
0
0
Updated Sep 16, 2026
MinaProtocol/kimchi-stubs-vendors's past year of commit activity
Rust
0
7
0
0
Updated Aug 30, 2026
mina-mcp-server
Public
MCP (Model Context Protocol) server for Mina Protocol — query accounts, blocks, zkApps, transactions, and Rosetta from any AI assistant. Live / tutorial / snapshot modes.
MinaProtocol/mina-mcp-server's past year of commit activity
TypeScript
0
Apache-2.0
0
4
1
Updated Jun 18, 2026
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.