repos
28
ecosystems
5
languages
6
commits
2,987
─── top repos · by commits
─── repositories
28 total🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
SEDA chain contracts written in CosmWasm
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.
SEDA chain network
A place for everyone to collaborate and communicate: Agendas and meeting notes.
SEDA protocol SDK tools
📄 Documentation for Leo 🦁
Welcome to the Aleo Network community.
Starter kit for building Oracle Programs with the SEDA-SDK.
EVM contracts to interact with the SEDA network
A starter template for the encode hackaton
An example of the YES prices for each outcome of a polymarket market
Starter kit for contract development with SEDA Oracle Programs using Hardhat.
Simple example that allows one to query a Kalshi market using SEDA data requests
Welcome to Aleo. Where Applications Become Zero-Knowledge
─── peer developers
─── languages
- Rust9
- TypeScript9
- Go3
- Shell1
- Mermaid1
- Leo1
─── subscriber view
Unlock the full view of gluax
- · 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.