Auditware / radar-actionLinks
GitHub Action for radar - a static analysis tool for anchor and rust programs.
☆10Updated last year
Alternatives and similar repositories for radar-action
Users that are interested in radar-action are comparing it to the libraries listed below
Sorting:
- ☆23Updated 3 months ago
- ☆12Updated last year
- ☆38Updated this week
- solana + risc0☆85Updated this week
- Fast implementation of Ethereum RLP serialization☆94Updated 4 months ago
- Book on all things Alloy☆46Updated last week
- EVM abstraction layer☆62Updated this week
- uniswap sdk core in rust☆57Updated 2 weeks ago
- Testing framework for SVM programs & integrations☆12Updated 9 months ago
- Serverless function on Reth☆72Updated last year
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆40Updated this week
- ☆20Updated 5 months ago
- ☆15Updated 10 months ago
- ☆29Updated 3 years ago
- Common infrastructure used by multiple Mysten projects☆37Updated 2 years ago
- Lints based on the Sealevel Attacks☆44Updated last week
- Phala's SDK to deploy any app to TEE☆19Updated 3 weeks ago
- Efficient cryptographic primitives for arbitrary cryptography on Secp256k1 in SVM☆20Updated 10 months ago
- ☆79Updated this week
- Rust Implementation of the Solidity ABI☆43Updated 3 weeks ago
- ☆78Updated this week
- FAFO: Over 1 million TPS on a single node running EVM while still Merkleizing every block☆44Updated 3 months ago
- Canonical type definitions for EIP-155 chains☆79Updated this week
- Recursive Rust types for parsing IDL JSON files☆39Updated 9 months ago
- Avalanche APIs/VM SDK in Rust☆45Updated last year
- Oracles written in Move for the Sui Ecosystem☆58Updated 3 years ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated last year
- ☆28Updated this week
- Rust implementations of Ethereum Improvement Proposals (EIPs)☆40Updated 2 weeks ago
- ☆31Updated this week