MinaProtocol / mina-grantsLinks
All contents related to the Mina grant program and projects in scope
☆15Updated 3 years ago
Alternatives and similar repositories for mina-grants
Users that are interested in mina-grants are comparing it to the libraries listed below
Sorting:
- An implementation of a DKG protocol for front-running protection on Anoma.☆82Updated 2 years ago
- Find repositories, releases, and modules for projects in the Cosmos ecosystem.☆17Updated 3 months ago
- Botelicious. Make sure you spell it with only one "o"☆19Updated 2 years ago
- Automated reward payment & account management for Tezos bakers.☆49Updated 3 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆37Updated 2 years ago
- Mina Protocol browser extension wallet☆47Updated 2 weeks ago
- This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…☆31Updated 4 years ago
- Open-participation projects for Harmony☆16Updated 3 years ago
- Library for creating keys and signing messages on Cosmos 🔑☆28Updated 2 years ago
- A zkApp based staking pool for MINA☆15Updated 2 years ago
- Opyn Grant Proposals☆11Updated 3 years ago
- Resources for Tezos Developers☆35Updated 5 years ago
- Liquid Staking: An ICF-funded project to explore how staking will evolve.☆36Updated 5 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago
- Ledger app for Mina☆18Updated 2 years ago
- ☆73Updated 7 months ago
- Celestia Specifications☆50Updated 2 years ago
- Data aggregator for Cosmwasm☆18Updated 2 years ago
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Updated 3 months ago
- DSL for Secure DApps☆33Updated 2 years ago
- The Cosmos Improvements Proposals☆25Updated last year
- formal verification of multicollateral dai in the K framework☆46Updated 3 years ago
- ☆20Updated 4 years ago
- ↗️ Vector is an ultra-minimal state channel network implementation.☆109Updated 3 years ago
- A really really rough implementation☆15Updated 3 years ago
- Peggo is a Go implementation of the Gravity Bridge Orchestrator for the Umee network.☆13Updated 2 years ago
- Blockchain data analytics tool☆32Updated 2 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆28Updated 6 years ago
- Tezos node/shell in Rust. Unfortunately dev has ceased. If you are interested in resurrecting, please contact @drchrispinnock☆147Updated last year
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago