repos
16
ecosystems
4
languages
1
commits
1,702
─── top repos · by commits
─── repositories
16 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 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.
OCaml DSL for verifiable computation
OCaml DSL for verifiable computation
An OCaml RocksDb binding using ocaml-ctypes
Extended Standard Library for OCaml
fork of async_kernel with tracing support
The Z3 Theorem Prover
─── peer developers
─── languages
- OCaml14
─── subscriber view
Unlock the full view of Firobe
- · 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.