
repos
30
ecosystems
10
languages
3
commits
370
─── top repos · by commits
─── repositories
30 totalVersioning of types with bin_prot serialization
mirror of tezos
Mina 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 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.
A fork of xbyak with Bazel support.
OCaml DSL for verifiable computation
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
C++ library for Finite Fields and Elliptic Curves
Extended Standard Library for OCaml
GraphQL PPX rewriter for Bucklescript/ReasonML
C++ library for Finite Fields and Elliptic Curves
C++ library for Finite Fields and Elliptic Curves
C++ library for Finite Fields and Elliptic Curves
─── peer developers
─── ecosystems
─── languages
- OCaml15
- C++4
- Rust4
─── subscriber view
Unlock the full view of mobileink
- · 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.



















