MinaProtocol / mina-grantsView external linksLinks
All contents related to the Mina grant program and projects in scope
☆15Mar 27, 2022Updated 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:
- cosmos_api_tools for validators☆10Dec 6, 2018Updated 7 years ago
- Opyn Grant Proposals☆11May 11, 2022Updated 3 years ago
- My collection of The Graph (Mission Control) scripts & related files☆12Jun 15, 2021Updated 4 years ago
- A zkApp based staking pool for MINA☆15May 8, 2023Updated 2 years ago
- OCaml bindings for OpenAI API☆18Feb 9, 2024Updated 2 years ago
- A really really rough implementation☆15Oct 26, 2021Updated 4 years ago
- ☆20Mar 29, 2023Updated 2 years ago
- Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network☆16Jun 8, 2020Updated 5 years ago
- Tezos baking redistribution software☆23Dec 28, 2024Updated last year
- Golang based blockchain explorer for the coda protocol☆22Oct 18, 2021Updated 4 years ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- ☆31Feb 16, 2023Updated 2 years ago
- AZTEC protocol specification☆31Feb 12, 2020Updated 6 years ago
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- The most advanced multisig bitcoin wallet optimized for collaboration.☆11Feb 2, 2026Updated last week
- Information about the Meter testnet challenge☆10Mar 1, 2021Updated 4 years ago
- Liquid Staking: An ICF-funded project to explore how staking will evolve.☆36Jun 12, 2020Updated 5 years ago
- Game of Life in ReasonML with ReasonReact in 2020☆39Mar 15, 2024Updated last year
- CertiCrypt Coq Framework☆37Apr 6, 2016Updated 9 years ago
- Prima JWKS-sync client implementation for Auth0☆10Dec 31, 2025Updated last month
- プログラミング de 落書きで公開しているコードを共有します☆23Feb 7, 2026Updated last week
- ☆44Jan 14, 2026Updated 3 weeks ago
- Command line tools I install after jailbreaking☆11Feb 11, 2017Updated 9 years ago
- This project is used to automatically grab the query results of ChatGPT in batches without manual input. And it supports automatic switch…☆14Feb 28, 2023Updated 2 years ago
- ☆10Dec 24, 2021Updated 4 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Website for www.ambitionfund.org, micro-grant program to provide support for underrepresented people who need financial assistance pursui…☆13Jan 6, 2023Updated 3 years ago
- Self service portal for aws workspace☆10Dec 10, 2023Updated 2 years ago
- This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…☆12Nov 17, 2025Updated 2 months ago
- Run very cheap game servers (Minecraft, LinuxGSM, etc) in AWS EC2 Spot instances controlled by Discord slash commands. Manage using Terra…☆13Aug 6, 2025Updated 6 months ago
- Sample API scripts☆12Oct 8, 2025Updated 4 months ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 4 months ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Coda + Dekrypt: The SNARK Challenge - Reference Material☆36Mar 27, 2022Updated 3 years ago
- Tezos Reward Distributor (TRD): A reward distribution software for tezos bakers.☆90May 10, 2025Updated 9 months ago
- Examples and Guides☆10Mar 29, 2024Updated last year
- my nix packages☆10Feb 3, 2026Updated last week
- Examining the conversations on the Linux Kernel Mailing List☆10Feb 8, 2018Updated 8 years ago