repos
24
ecosystems
4
languages
4
commits
920
─── top repos · by commits
─── repositories
24 totalThe Ruler project adapted to generate rules for evm.
Using mutations to improve specs and test suites
WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressions, and calls.
Frying some eggs
CVLR for Soroban smart contracts
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Blend v2 (Stellar) Certora FV Competition (Feb 2025, #4 place)
Blend v2 (Stellar/RUST) x Certora Formal Verification (Feb 2025, 🏆#1 place)
Examples and tutorials for Certora Sunbeam.
Aquarius (Stellar) Certora FV Competition (Jun 2025, 🏆#1 place)
A public formal verification contest in which I achieved 2nd place award
Aquarius (Stellar/RUST) x Certora Formal Verification (Jun 2025, 🥈#2 place)
CVLR: Certora Verification Language for Rust
Certora Tokenized Vault for Solana Tutorial
─── peer developers
─── ecosystems
─── languages
- Rust21
- Python1
- Java1
- Kotlin1
─── subscriber view
Unlock the full view of chandrakananandi
- · 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.