repos
42
ecosystems
8
languages
10
commits
10,678
─── top repos · by commits
─── repositories
42 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
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 cryptocurrency protocol 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.
Coda + Dekrypt: The SNARK Challenge - Reference Material
Rust library for decentralized private computation
OCaml DSL for verifiable computation
OCaml DSL for verifiable computation
The proof systems used by Mina
Project Untitled POC test on lambda
The proof systems used by Mina
The proof systems used by Mina
Kimchi Fuzzer
The proof systems used by Mina
Tutorial code for the SFBW zk-SNARK workshop
JavaScript crypto library accompanying snarky
Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
Extended-precision modular arithmetic library that targets CUDA.
Libraries for finite field, elliptic curve, and polynomial arithmetic
TypeScript framework for zk-SNARKs and zkApps
Versioning of types with bin_prot serialization
A repository of CUDA starter code
Static site generator
TypeScript framework for zk-SNARKs and zkApps
C++ library for zkSNARKs (forked from scipr-lab/libsnark)
TypeScript framework for zk-SNARKs and zkApps
esy + vim + reason +the latest Merlin
30min Coda workshop talk
Typescript/Javascript framework for zk-SNARKs and zkApps
Typescript/Javascript framework for zk-SNARKs and zkApps
TypeScript framework for zk-SNARKs and zkApps
─── peer developers
─── ecosystems
─── languages
- OCaml16
- Rust6
- TypeScript4
- C++3
- C2
- Cuda2
- Standard ML1
- Vim script1
- CSS1
- JavaScript1
─── subscriber view
Unlock the full view of imeckler
- · 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.