repos
71
ecosystems
15
languages
13
commits
20,819
─── top repos · by commits
─── repositories
71 totalACL2 System and Books as Maintained by the Community
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Grammar specifications for languages and formats in the Aleo ecosystem.
A zkVM for Decentralized Private Computations (DPC)
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
📄 Documentation for Leo 🦁
Welcome to the Aleo Network community.
A Decentralized Operating System for ZK Applications
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.
Welcome to Aleo. Where Applications Become Zero-Knowledge
The "Yellow Paper": Ethereum's formal specification
Javascript & Typescript SDK for Zero-Knowledge Application Development
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
Aleo Request for Comments (ARCs)
A Decentralized Operating System for Zero-Knowledge Applications
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Decentralized Operating System for ZK Applications
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
Aleo Request for Comments (ARCs)
Solidity, the Smart Contract Programming Language
Solidity, the Contract-Oriented Programming Language
Turkish community translation of the Solidity documentation
ZKsync fork of the original Solidity compiler.
Portuguese / Brazilian translation of the Solidity docs
Chinese community translation of the Solidity documentation
Russian community translation of the Solidity documentation
Spanish community translation of the Solidity documentation
Japanese community translation of the Solidity documentation
Korean community translation of the Solidity documentation
Common tests for all Ethereum implementations
📜 A Starter Guide to Build ZK Applications 📜
Zcash Improvement Proposals
📜 A Starter Guide to Build ZK Applications 📜
Working copy of the Zcash Improvement Proposals with ZSA updates
Common tests for all Ethereum implementations
Common tests for all Ethereum implementations
Common tests for all Ethereum implementations
Zcash Improvement Proposals
Zcash Improvement Proposals
Common tests for all Ethereum implementations
Common tests for all Ethereum implementations
Common tests for all Ethereum implementations
Common tests for all Ethereum implementations
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
Indonesian community translation of the Solidity documentation
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.
Aleo Request for Comments (ARCs)
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Common tests for all Ethereum implementations
─── peer developers
─── ecosystems
─── languages
- Rust16
- OCaml10
- JavaScript7
- CMake7
- TeX5
- C++4
- Shell2
- Python2
- Common Lisp1
- Mermaid1
─── subscriber view
Unlock the full view of acoglio
- · 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.