repos
23
ecosystems
9
languages
2
commits
1,630
─── top repos · by commits
─── repositories
23 totalA Decentralized Operating System for ZK Applications
A Decentralized Operating System for Zero-Knowledge Applications
A Decentralized Operating System for ZK Applications
A Decentralized Operating System for Zero-Knowledge Applications
A Decentralized Operating System for Zero-Knowledge Applications
A Decentralized Operating System for ZK Applications
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A zkVM for Decentralized Private Computations (DPC)
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
A place for everyone to collaborate and communicate: Agendas and meeting notes.
A native gRPC client & server implementation with async/await support.
A native gRPC client & server implementation with async/await support.
Yocto layer for installing Rust toolchain from pre-built binaries
─── peer developers
─── ecosystems
─── languages
- Rust16
- BitBake1
─── subscriber view
Unlock the full view of Protryon
- · 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.