
repos
29
ecosystems
7
languages
5
commits
2,251
Top repos · by commits
Repositories
29 totalMina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Zeko: ZK rollup 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.
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.
The proof systems used by Mina
The proof systems used by Mina
Tezos running on Multicore OCaml
Tezos running on Multicore OCaml
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
Clone of tezos from https://gitlab.com/tezos/tezos.git with FreeBSD updates.
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
Project Untitled POC test on lambda
mirror of tezos
TypeScript framework for zk-SNARKs and zkApps
TypeScript framework for zk-SNARKs and zkApps
TypeScript framework for zk-SNARKs and zkApps
This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.
Peer developers
Ecosystems
Languages
- OCaml17
- Rust3
- TypeScript3
- JavaScript2
- Shell1



















