repos
31
ecosystems
4
languages
7
commits
9,106
─── top repos · by commits
─── repositories
31 totalMina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Zeko: zk-Rollup for Mina, a succinct blockchain
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Not the official repo. See https://github.com/MinaProtocol/mina
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
Python SDK for interacting with Mina Protocol nodes via GraphQL
TypeScript framework for zk-SNARKs and zkApps
Mina documentation website
fork of async_kernel with tracing support
TypeScript framework for zk-SNARKs and zkApps
An OCaml RocksDb binding using ocaml-ctypes
Mina documentation website
Mina documentation website
TypeScript framework for zk-SNARKs and zkApps
OCaml DSL for verifiable computation
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
Utility to patch the peer protection logic in go-libp2p-kad-dht
OCaml DSL for verifiable computation
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
A Homebrew tap repo for mina
An OCaml RocksDb binding using ocaml-ctypes
─── peer developers
─── languages
- OCaml14
- TypeScript4
- JavaScript3
- Python2
- Go2
- Reason1
- Ruby1
─── subscriber view
Unlock the full view of nholland94
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.