☆12Sep 23, 2025Updated last year
Alternatives and similar repositories for solana-verify
Users that are interested in solana-verify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Mar 25, 2026Updated 7 months ago
- Deserializing Solana accounts using their progam IDL☆31Sep 25, 2024Updated 2 years ago
- Ed25519 signature verification for Solana programs☆38Sep 21, 2026Updated last month
- The X-Ray Toolchain is an open-source, cross-platform command-line interface (CLI) tool designed for static analysis of Solana programs a…☆57Mar 27, 2026Updated 7 months ago
- 🛡️ CLI toolkit for auditing Solana smart contracts. Includes static analysis, IDL-based fuzzing, plugin system, and multi-format reports…☆23Jun 30, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- [DEPRECATED] Moved to limechain/sbpf-coverage — Limechain Solana Code Coverage CLI☆25Apr 24, 2026Updated 6 months ago
- Solana testing scripts☆14Oct 12, 2026Updated 3 weeks ago
- Collection of potential CU optimizations for programs.☆96Oct 18, 2024Updated 2 years ago
- Optimized Solana Transactions Examples☆14Apr 30, 2024Updated 2 years ago
- Ready-to-use Java examples of sol4k APIs☆11Oct 24, 2026Updated last week
- K semantics for Solana☆16Jun 23, 2026Updated 4 months ago
- TypeScript SDK, CLI, and dashboard for creating and managing Token-2022 tokens on Solana☆25Oct 27, 2026Updated last week
- Formal Verification of the OpenVM RISC-V, Keccak, and SHA-2 Extensions☆14Jul 15, 2026Updated 3 months ago
- Explore solana accounts via an interconnected graph interface☆15Jul 7, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Examples of how to use SVMKit☆13Aug 5, 2025Updated last year
- WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode☆14Apr 27, 2025Updated last year
- ☆12Dec 16, 2024Updated last year
- Definition and Detection of Defects in NFT Smart Contracts☆27Aug 31, 2025Updated last year
- ☆17Dec 28, 2024Updated last year
- Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs☆112Mar 2, 2026Updated 8 months ago
- ☆12Apr 4, 2025Updated last year
- A program that provides the ability to create and execute rules to restrict common token operations such as transferring and selling.☆31Oct 24, 2026Updated last week
- Source code for the demos presented in ETHOnline workshop (Sep 28, 2020)☆11Oct 6, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A pure-lua library that provides JSX-like syntax and a React-like render runtime☆16Sep 27, 2025Updated last year
- Lightweight unifying client for RPC + BanksClient☆29Jan 31, 2026Updated 9 months ago
- DeFi platform to sell tokens☆10Nov 27, 2025Updated 11 months ago
- Parallel data buffers for chads who want to put data onchain fast af☆37Sep 3, 2025Updated last year
- A merkle-based token distributor for the Solana network that allows distributing a combination of unlocked and linearly unlocked tokens.☆73Apr 30, 2025Updated last year
- Collection of Scrolls for mev, arb, HFT☆40Aug 26, 2025Updated last year
- ☆30Sep 4, 2024Updated 2 years ago
- ☆12Oct 28, 2024Updated 2 years ago
- ☆26Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆18Aug 6, 2025Updated last year
- Off-chain SVM payment channel.☆53Aug 26, 2025Updated last year
- Function reachability analysis for harnesses für C/C++/Rust☆23Oct 23, 2026Updated last week
- ☆11Jan 14, 2025Updated last year
- Public Repository of our Audit Reports☆28Sep 15, 2026Updated last month
- A simple CLI for creating and managing Solana Lookup Tables.☆16Jan 10, 2025Updated last year
- Utilities for the Analysis of Ethereum Smart Contracts☆14Oct 26, 2026Updated last week