repos
49
ecosystems
9
languages
4
commits
841
─── top repos · by commits
─── repositories
49 totalNext generation network of decentralized big data applications. Current connected chains: Ethereum, Solana, Polkadot/Substrate, Cosmos-SDK, NULS.
Aleph.im VM execution engine
Python SDK library for the Aleph.im network
Aleph VRF
Rust Library for running the Starknet OS via the Cairo VM
Lightweight Python Client library for the Aleph.im network
Rust Library for running the Starknet OS via the Cairo VM
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
API and server-side tools for a prototype of confidential Compute Resource Node.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-rs is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
A CLI to run and prove Cairo programs.
Rust library for the Stone prover and verifier.
Rust library for the Stone prover and verifier.
A Starknet full node written in Rust
A Starknet full node written in Rust
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
A Starknet full node written in Rust
A Starknet full node written in Rust
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Aleph.im Official Documentation (Work in progress)
A command-line interface to interact with the confidential Compute Resource Node prototype.
Cairo programs used as test cases for projects with Starkware.
state machine that monitor nodes status and staking
Solana indexer examples
Compute IPFS CIDs from Python code.
Python SDK for the NULS2 blockchain network
Cairo bootloader port for the Rust Cairo VM.
Wasm friendly Celestia light node implementation in Rust
Cairo bootloader port for the Rust Cairo VM.
TypeScript framework for deploying distributed indexers on Aleph VMs for Solana and EVM chains.
A js-libp2p backed daemon
A TypeScript SDK to interact with Aleph Cloud.
RPC server and client to run the Stone Prover on the Madara sequencer.
─── peer developers
─── ecosystems
─── languages
- Rust27
- Python12
- TypeScript6
- Cairo1
─── subscriber view
Unlock the full view of odesenfans
- · 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.