repos
18
ecosystems
4
languages
5
commits
518
─── top repos · by commits
─── repositories
18 totalCVLR: Certora Verification Language for Rust
Certora cargo command for building and analyzing SBF (Solana) code
CVLR library for Solana
Certora Tokenized Vault for Solana Tutorial
CVLR Test Repository
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
Template for Certora specifications for Solana projects
CVLR Vectors and other collections mocks, fakes, and summaries
A library to write verification harnesses for the Solana Certora Prover **Deprecated: use https://github.com/Certora/cvlr**
A library to write verification harnesses for the Solana Certora Prover
Certora modified Solana Platform Tools
CVLR for Soroban smart contracts
Examples of Solana applications verification with the Certora Prover
The Spot CLOB on Solana
The Unlimited Orderbook
Many examples of Solana programs
─── peer developers
─── languages
- Rust12
- Python2
- Kotlin1
- Shell1
- TypeScript1
─── subscriber view
Unlock the full view of 1arie1
- · 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.