repos
24
ecosystems
8
languages
6
commits
498
─── top repos · by commits
─── repositories
24 totalACL2 System and Books as Maintained by the Community
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A place for everyone to collaborate and communicate: Agendas and meeting notes.
Grammar specifications for languages and formats in the Aleo ecosystem.
📄 Documentation for Leo 🦁
Welcome to the Aleo Network community.
A zkVM for Decentralized Private Computations (DPC)
Aleo Request for Comments (ARCs)
Welcome to Aleo. Where Applications Become Zero-Knowledge
Aleo Request for Comments (ARCs)
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
DEPRECATED! Java implementation of the Ethereum yellowpaper. For JSON-RPC and other client features check Ethereum Harmony
The "Yellow Paper": Ethereum's formal specification
A Decentralized Operating System for ZK Applications
🕷 Network crawler for the Ethereum P2P network - fork of the ethereumj client
Java implementation of the Ethereum yellowpaper. For JSON-RPC and other client features check Ethereum Harmony
Simple Java implementation of the Ethereum yellowpaper.
Java implementation of the Ethereum yellowpaper
Java implementation of the Ethereum yellowpaper
A Virtual Machine for Zero-Knowledge Executions
─── peer developers
─── ecosystems
─── languages
- Rust8
- Java6
- JavaScript2
- Common Lisp1
- Mermaid1
- TeX1
─── subscriber view
Unlock the full view of bendyarm
- · 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.