repos
24
ecosystems
7
languages
6
commits
308
─── top repos · by commits
─── repositories
24 totalBridge aTokens to Starknet
Bridge aTokens to Starknet for cheap AAVE rewards collection and token exchange
Bridge aTokens to Starknet for cheap AAVE rewards collection and token exchange
Bridge aTokens to Starknet for cheap AAVE rewards collection and token exchange
My contribution to the Certora aave-starknet-bridge formal verification project
Bridge aTokens to Starknet for cheap AAVE rewards collection and token exchange
Bridge aTokens to Starknet for cheap AAVE rewards collection and token exchange
Formal verification using certora prover of Bridge that bridges aTokens to Starknet for cheap AAVE rewards collection and token exchange
Educational zk-KYC app built with Noir & NoirJS
Distribute tokens by verifying github contributions
A curated list of awesome things related to learning and programming in Noir.
A repo where pool and atoken contract of aave is implemented in cairo with basic functions and full testing
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
Profiler for Cairo programming language & Starknet
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
─── peer developers
─── ecosystems
─── languages
- Solidity4
- Python4
- JavaScript3
- Cairo3
- Rust3
- TypeScript1
─── subscriber view
Unlock the full view of achab
- · 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.