repos
84
ecosystems
35
languages
8
commits
5,016
─── top repos · by commits
─── repositories
84 totalMina 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.
Zeko: zk-Rollup for Mina, a succinct blockchain
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Empowering everyone to build reliable and efficient software.
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.
Docs website for the Mina Protocol.
Docs website for the Mina Protocol.
gmp bindings for rust
gmp bindings for rust
gmp bindings for rust
gmp bindings for rust
OCaml DSL for verifiable computation
OCaml DSL for verifiable computation
A Rust library for random number generation.
Lean Theorem Prover
Lean 4 programming language and theorem prover
The proof systems used by Mina
Serialization framework for Rust
Serialization framework for Rust
Rust tools for OpenCL and GPU management.
An HTTP library for Rust
An HTTP library for Rust
An HTTP library for Rust
An HTTP library for Rust
The proof systems used by Mina
An HTTP library for Rust
Libraries for finite field, elliptic curve, and polynomial arithmetic
🔮 OPTimistic Interchain Communication
The home for Hyperlane core contracts, sdk packages, and other infrastructure
The home for Hyperlane core contracts, sdk packages, and other infrastructure
This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node
[DEPRECATED] Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium)
Libraries for finite field, elliptic curve, and polynomial arithmetic
A (mostly) pure-Rust implementation of various cryptographic algorithms.
The home for Hyperlane core contracts, sdk packages, and other infrastructure
Base32 encoder/decoder for Rust
The home for Hyperlane core contracts, sdk packages, and other infrastructure
Fork of [DEPRECATED] Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium)
The home for Hyperlane core contracts, sdk packages, and other infrastructure
The home for Hyperlane core contracts, sdk packages, and other infrastructure
A (mostly) pure-Rust implementation of various cryptographic algorithms.
A basic crate to encode values to hexadecimal representation. Originally extracted from rustc-serialize.
Rust library for reading/writing numbers in big-endian and little-endian.
A Rust based DNS client, server, and resolver
An OCaml RocksDb binding using ocaml-ctypes
A Rust based DNS client, server, and resolver
A (mostly) pure-Rust implementation of various cryptographic algorithms.
The home for Hyperlane core contracts, sdk packages, and other infrastructure
The home for Hyperlane core contracts, sdk packages, and other infrastructure
A Rust based DNS client, server, and resolver
The home for Hyperlane core contracts, sdk packages, and other infrastructure
The home for Hyperlane core contracts, sdk packages, and other infrastructure
The home for Hyperlane core contracts, sdk packages, and other infrastructure
The home for Hyperlane core contracts, sdk packages, and other infrastructure
🔮 OPTimistic Interchain Communication
A basic crate to encode values to hexadecimal representation. Originally extracted from rustc-serialize.
The home for Hyperlane core contracts, sdk packages, and other infrastructure
The home for Hyperlane core contracts, sdk packages, and other infrastructure
The home for Hyperlane core contracts, sdk packages, and other infrastructure
The home for Hyperlane core contracts, sdk packages, and other infrastructure
The home for Hyperlane core contracts, sdk packages, and other infrastructure
The home for Hyperlane core contracts, sdk packages, and other infrastructure
A Rust based DNS client, server, and resolver
The home for Hyperlane core contracts, sdk packages, and other infrastructure
─── peer developers
─── ecosystems
─── languages
- Rust39
- OCaml12
- TypeScript5
- JavaScript1
- Python1
- Lean1
- C++1
- HTML1
─── subscriber view
Unlock the full view of emberian
- · 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.