repos
29
ecosystems
13
languages
7
commits
37
─── top repos · by commits
─── repositories
29 totalCairo is the first Turing-complete language for creating provable programs for general computation.
Cairo is the first Turing-complete language for creating provable programs for general computation.
A collection of configs, artifacts, and schemas for Hyperlane
op-stack state(less) transition in an AWS Nitro enclave
Proof of Concept for RRC-7755
A Trust-minimized Bitcoin Bridge
The backend framework for crypto apps
Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.
Polkadot's ink! to write smart contracts.
A curated list of awesome Web3 resources, libraries, tools and more.
Commonware Library Primitives and Examples
General purpose Blended Execution layer
Kaia Docs
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
bitvm repository
Smarter Bitcoin Contracts
Starknet Indexer
The backend framework for crypto apps
Staging fork for Fidelity's contributions upstream. Please do not open PRs against this repo. All contributions should be directed upstream.
Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.
A collection of configs, artifacts, and schemas for Hyperlane
A collection of configs, artifacts, and schemas for Hyperlane
─── peer developers
─── ecosystems
─── languages
- Rust11
- TypeScript10
- Python2
- Go2
- Solidity1
- JavaScript1
- MDX1
─── subscriber view
Unlock the full view of barajeel
- · 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.