repos
26
ecosystems
9
languages
9
commits
3,246
─── top repos · by commits
─── repositories
26 totalA GraphQL-enabled indexer of the Mina blockchain.
RChain Rholang Implementation & Materials for learning K Framework
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
Utilities for Mina Protocol
Minimina is a powerful tool designed for local development and integration testing of Mina networks
Helpful scripts for working with the Mina Protocol
Mock network for Mina's abstract test engine
Interactive node simulator for TLA+ specification of Tezos p2p
Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.
Reference implementation of the Pinccohio zk proof system
Pre-generated keypairs for Mina's integration testing framework
Solidity notes and example contracts
Web application for the Mina blockchain
Simple zk smart contract for Mina Protocol
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
CLI to create a zkApp (zero-knowledge app) for Mina Protocol
Docs website for the Mina Protocol.
Zeko: zk-Rollup for Mina, a succinct blockchain
Docs website for the Mina Protocol.
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.
Blazing fast toolkit for developing Starknet contracts.
A zkApp based staking pool for MINA
An experiment in on-chain governance
Not the official repo. See https://github.com/MinaProtocol/mina
Blazing fast toolkit for developing Starknet contracts.
─── peer developers
─── ecosystems
─── languages
- Rust7
- OCaml7
- Python2
- TypeScript2
- JavaScript2
- TLA1
- Scala1
- Shell1
- Solidity1
─── subscriber view
Unlock the full view of Isaac-DeFrain
- · 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.