─── ecosystem · aleo
Aleo
repositories
1,198
contributors
912
languages
20
top lang
Shell
repo wow
+1
contrib wow
+506
star wow
+30
weeks avail
5
─── weekly trend · 5w
repositories
59
contributors
912
stars
14,836
─── top gaining repos
+0 contributors · Rust
+0 contributors · Rust
+0 contributors · JavaScript
─── top languages · by repos
─── repositories
100 / 1,198| # | repository | lang | stars | forks |
|---|---|---|---|---|
| 001 | ProvableHQ/leo 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications | Rust | 4,814 | 718 |
| 002 | ProvableHQ/snarkOS A Decentralized Operating System for ZK Applications | Rust | 4,527 | 2,686 |
| 003 | ProvableHQ/snarkVM A zkVM for Decentralized Private Computations (DPC) | Rust | 1,156 | 1,549 |
| 004 | howardwu/wagyu A Rust library for generating cryptocurrency wallets | Rust | 645 | 108 |
| 005 | ProvableHQ/sdk Javascript & Typescript SDK for Zero-Knowledge Application Development | TypeScript | 632 | 488 |
| 006 | howardwu/awesome-aleo 🏎️ A curated list of Aleo & Leo code and resources 🏎️ | — | 391 | 249 |
| 007 | ProvableHQ/workshop 📜 A Starter Guide to Build ZK Applications 📜 | Shell | 341 | 269 |
| 008 | ProvableHQ/leo-docs-source 📄 Documentation for Leo 🦁 | Mermaid | 331 | 221 |
| 009 | AleoNet/aleo-education Aleo Education | — | 258 | 203 |
| 010 | ProvableHQ/ARCs Aleo Request for Comments (ARCs) | JavaScript | 233 | 267 |
| 011 | HarukaMa/aleo-explorer Open source explorer for the Aleo network | Python | 131 | 85 |
| 012 | ProvableHQ/aleo-wallet-adapter Modular TypeScript wallet adapters and components for Aleo applications. | TypeScript | 93 | 51 |
| 013 | microbecode/zk-languages Introduction to various ZK languages | Assembly | 89 | 15 |
| 014 | AleoNet/aleo-setup A Setup Ceremony for Universal SNARKs | Rust | 84 | 96 |
| 015 | HarukaMa/aleo-pool-server | Rust | 78 | 77 |
| 016 | demox-labs/art-factory Making NFTs on Aleo easy | TypeScript | 51 | 112 |
| 017 | 6block/zkwork_aleo_worker | Rust | 50 | 19 |
| 018 | polybase/zk-benchmarks | Rust | 46 | 10 |
| 019 | howardwu/silly-sudoku A simple Sudoku puzzle grid in Leo | — | 44 | 0 |
| 020 | ProvableHQ/python-sdk | Python | 44 | 52 |
| 021 | arcane-finance-defi/miden-bridge-mono | TypeScript | 43 | 11 |
| 022 | demox-labs/zk-battleship Aleo instruction implementation of battleship on the Aleo chain. | — | 40 | 6 |
| 023 | snowtigersoft/run_leo Run leo from python | Python | 40 | 6 |
| 024 | zkp-gravity/0g | Python | 39 | 1 |
| 025 | aleoswap-labs/aleoswap The core program of AleoSwap (a decentralized exchange built on the Aleo blockchain) | — | 34 | 14 |
| 026 | ProvableHQ/aleo-rust | Rust | 34 | 40 |
| 027 | trusttoken/aleo-stablecoin-workshop | Shell | 32 | 35 |
| 028 | AleoNet/workshop 📜 A Starter Guide to Build ZK Applications 📜 | Shell | 31 | 21 |
| 029 | mrcryptooo/aleo-hi aleo hi | Leo | 26 | 32 |
| 030 | tess-eract/zksudoku | — | 26 | 6 |
| 031 | ProvableHQ/pondo-programs | TypeScript | 26 | 33 |
| 032 | AvailX/avail-wallet An open source, private, self-custodial wallet. Built on the Aleo network. | Rust | 23 | 7 |
| 033 | ProvableHQ/aleo-js | TypeScript | 22 | 22 |
| 034 | lambdaclass/aleo_lambda_vm Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass | Rust | 21 | 4 |
| 035 | ProvableHQ/aleo-std | Rust | 20 | 37 |
| 036 | puzzlehq/wheres_alex | TypeScript | 20 | 70 |
| 037 | ProvableHQ/grammars Grammar specifications for languages and formats in the Aleo ecosystem. | — | 19 | 28 |
| 038 | AleoNet/welcome Welcome to the Aleo Network community. | — | 18 | 22 |
| 039 | AleoNet/open-source-assets This is a repository of open source assets for community members to create Aleo-branded content | — | 17 | 5 |
| 040 | AleoNet/anf-snarkOS A Decentralized Operating System for Zero-Knowledge Applications | Rust | 16 | 4 |
| 041 | BrianSeong99/leo-intro-course An introductory course for leo language. | — | 16 | 8 |
| 042 | leology-org/leology Leology is an Aleo testing framework that makes developing Leo programs faster, easier, and safer. | Rust | 16 | 0 |
| 043 | tbpassin/gf4-project GF4 - a Python program to display two-dimensional data and perform math operations in it | Python | 16 | 0 |
| 044 | lambdaclass/aleo_lambda_blockchain Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass | Rust | 15 | 1 |
| 045 | venture23-aleo/doko-js | TypeScript | 15 | 11 |
| 046 | ZenetGame/ZenetAleo | Shell | 15 | 7 |
| 047 | AleoNet/awesome-aleo 🏎️ A curated list of Aleo & Leo code and resources 🏎️ | — | 14 | 6 |
| 048 | foxwallet/foxwallet-extension FoxWallet Browser Extension | JavaScript | 14 | 4 |
| 049 | td-kwj-zp2023/webgpu-msm-bls12-377 WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023 | JavaScript | 14 | 1 |
| 050 | lambdaclass/aleo_minimum_anti_collusion_infrastructure Aleo's Minimum Anti-Collusion Infrastructure / MACI | Rust | 13 | 3 |
| 051 | ProvableHQ/service | Rust | 13 | 20 |
| 052 | betastaking-labs/betastaking-audits | — | 12 | 6 |
| 053 | moeenxyz/EigenLayer-guide | — | 12 | 8 |
| 054 | ProvableHQ/aleo-setup-integration-test Integration testing for aleo-setup and aleo-setup-coordinator | Rust | 12 | 19 |
| 055 | venture23-aleo/verulink | JavaScript | 12 | 4 |
| 056 | zsociety-io/aleo-dcp | Rust | 11 | 1 |
| 057 | puzzlehq/puzzle-sdk SDK for the Puzzle Wallet | TypeScript | 11 | 3 |
| 058 | HH-0rg/aleopath Wasm compatible Decompiler and Disassembler for Leo | Rust | 10 | 1 |
| 059 | Veridise/vanguard-aleo Static analysis toolkit for security analysis in Aleo programs | Python | 10 | 6 |
| 060 | arcane-finance-defi/aleo-rfq-amm-contracts Arcane.Finance - an RFQ DEX on Aleo | — | 9 | 2 |
| 061 | demox-labs/aleo-nft | — | 9 | 3 |
| 062 | FuzzingLabs/aleovera Aleo analyzer and disassembler | Python | 9 | 6 |
| 063 | mrcryptooo/helloworld-to-aleo | — | 9 | 5 |
| 064 | ProvableHQ/aleo-instructions-syntax-vscode Aleo instructions syntax | — | 9 | 14 |
| 065 | ProvableHQ/community A place for everyone to collaborate and communicate: Agendas and meeting notes. | — | 9 | 16 |
| 066 | ProvableHQ/leo-examples | Leo | 9 | 8 |
| 067 | web3helpers/web3helpers | TypeScript | 9 | 1 |
| 068 | zoyasalehi04/aleo-deploy | — | 9 | 0 |
| 069 | B1boid/zk-KYC | Jupyter Notebook | 8 | 5 |
| 070 | monadicus/snarkops snops is a suite of tools that can be used to maintain Aleo network environments. The environments are defined in a manner similar to infrastructure-as-code, which means you can create repeatable infrastructure using the environment schema. | Rust | 8 | 4 |
| 071 | ProvableHQ/nemean | Go | 8 | 11 |
| 072 | seetadev/Transport-Monitor Investigative case management solution for citizens, police officers, drivers to report and manage incidents, detect and prevent accidents on web using ZKP and sCrypt eco-system and tools. | JavaScript | 8 | 1 |
| 073 | credlancer/credlancer_all ZK-Hack-SuperLancers.info | Solidity | 7 | 0 |
| 074 | lambdaclass/aleo_roulette | Elixir | 7 | 7 |
| 075 | mrcryptooo/aleo-leo aleo leo | — | 7 | 3 |
| 076 | sonaric-network/kits | Shell | 7 | 6 |
| 077 | zkprivacy/aleo-vote A zk-privacy voting system built on Aleo. | — | 7 | 2 |
| 078 | AleoNet/zPass-SDK-new | Rust | 6 | 3 |
| 079 | gsgalloway/zksnark-sudokus Proves knowledge of solutions to Sudoku puzzles without disclosing the solutions | Rust | 6 | 0 |
| 080 | ProvableHQ/varuna-sage-impl A SageMath implementation of the Varuna zkSNARK. | Sage | 6 | 3 |
| 081 | ProvableHQ/zexe Rust library for decentralized private computation | — | 6 | 16 |
| 082 | ruizehung/Zero-Knowledge-Sudoku-Wordle-Trivia | Solidity | 6 | 2 |
| 083 | zeroknowledgetutorials/leo-fixed-point-numbers Fixed-point number implementation and calculation using the Leo language for zk-SNARKs | — | 6 | 1 |
| 084 | zsociety-io/aleo-store-testnet3 | Rust | 6 | 0 |
| 085 | arcane-finance-defi/aleo-wallet-adapters | TypeScript | 6 | 14 |
| 086 | arosboro/aleo_bitwise_stack A basic stack implementation utilizing little-endian u32 buffers. | — | 5 | 0 |
| 087 | CalebCurry/learning-leo | Shell | 5 | 3 |
| 088 | ProvableHQ/aleo-instructions-syntax-sublime Aleo instructions syntax highlighting for Sublime editor | — | 5 | 9 |
| 089 | ProvableHQ/bounty-2022-ethdenver The Aleo bounty descriptions for the EthDenver 2022 hackathon. | TypeScript | 5 | 10 |
| 090 | ProvableHQ/linguist-grammars | — | 5 | 8 |
| 091 | puzzlehq/build-a-token | TypeScript | 5 | 6 |
| 092 | S-T-Soft/aleo-name-service | TypeScript | 5 | 4 |
| 093 | storswiftlabs/zkML zkML Algorithms | Python | 5 | 0 |
| 094 | AleoNet/anf-snarkVM A Virtual Machine for Zero-Knowledge Executions | Rust | 4 | 2 |
| 095 | AlexZhao6666/double-color-ball 使用aleo实现的双色球项目 | Rust | 4 | 1 |
| 096 | arosboro/newsletter Aleo Contract for driving encryption key management on a communications platform. | Makefile | 4 | 0 |
| 097 | chipqp/chipqplotteryforAleo | Shell | 4 | 0 |
| 098 | cwkang1998/aleo-onchain-vrf | Shell | 4 | 1 |
| 099 | dev-soromir/aleo-deploy-workshop-KR | — | 4 | 1 |
| 100 | Elexy101/Aleo-Monopoly This is a simple monopoly game using Leo programming language. Players has a specific amount to buy, rent and sale property. Play with opponent is now supported. Have fun playing cannot be known! Testnet Gude: https://elexy101.hashnode.dev/aleo-monopoly-beta-how-to-play-1st-monopoly-game-on-aleo-blockchain | HTML | 4 | 6 |
Want deeper analysis?
Commission a benchmark report for Aleo.
─── subscriber view
Unlock the full view of the Aleo ecosystem
- · 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.