Execute and verify compiled Solana sBPF programs with a Lean 4 reference model
☆20Oct 1, 2026Updated 3 weeks ago
Alternatives and similar repositories for qedsvm
Users that are interested in qedsvm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A comprehensive testing framework for Solana programs using LiteSVM.☆13Jun 11, 2025Updated last year
- ☆32Jul 10, 2026Updated 3 months ago
- macro for generating type-safe CPI functions from Solana IDLs☆11Jun 10, 2025Updated last year
- Solana Microscope☆48Sep 28, 2026Updated 3 weeks ago
- K semantics for Solana☆16Jun 23, 2026Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Solana RpcX☆21Mar 30, 2026Updated 6 months ago
- Use TSTORE in contracts deployed to multiple chains with varying opcode support☆15Apr 2, 2024Updated 2 years ago
- ☆63Oct 21, 2025Updated last year
- A CLI tool to debug Solana programs☆22May 9, 2025Updated last year
- an AF_XDP based receiver for doublezero edge☆23Oct 5, 2026Updated 2 weeks ago
- ☆13Sep 24, 2026Updated last month
- [WIP] Codama nodes and IDL extraction in Rust☆27Sep 3, 2026Updated last month
- An sBPF assembly program to transfer lamports via CPI.☆14Aug 1, 2025Updated last year
- Solana program for third party assets delegations☆44Oct 13, 2026Updated last week
- 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.
- ☆32Updated this week
- Attach custom data to any program☆60Oct 16, 2026Updated last week
- Hedged Solana RPC client that races multiple providers and returns the first successful response.☆40Nov 16, 2025Updated 11 months ago
- Static analyzer tool for Solana☆85Nov 20, 2025Updated 11 months ago
- An eBPF virtual machine in the browser☆10May 22, 2023Updated 3 years ago
- AI-native legal data layer for the agentic economy. 500M+ US federal court records via x402 micropayments on Base. $0.001 USDC per query,…☆34May 28, 2026Updated 4 months ago
- Framework-agnostic Solana transaction signing with multiple backends. Unified trait interface, async-first design, and feature-gated comp…☆77Updated this week
- An upstream BPF linker for SBPF V0 programs☆51Updated this week
- High-performance Solana Program Fuzzer written in Rust with LibAFL/LiteSVM backend with sBPF edge coverage and state coverage☆72Sep 28, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- User Interface to interact with a Solana program.☆45Jun 25, 2025Updated last year
- comprehensive reference repository for sBPF (Solana Berkeley Packet Filter) assembly programming☆27Sep 2, 2025Updated last year
- An SVM implementation of Nakamoto payment channels☆12Sep 7, 2024Updated 2 years ago
- Multiple implementations of Solana programs across languages☆60Jan 24, 2026Updated 8 months ago
- Helper libraries for Solana on-chain programs☆15Oct 2, 2026Updated 3 weeks ago
- A simple benchmark of SVM entrypoints.☆12Aug 9, 2025Updated last year
- A general CPI interface for client-side protocol routing for Solana programs.☆57Jul 12, 2026Updated 3 months ago
- A high-throughput Solana Geyser plugin for real-time blockchain data ingestion using ClickHouse as its columnar data store☆18Oct 24, 2025Updated 11 months ago
- Resurrect onchain Solana programs by reconstructing historical binaries from upgrade buffer writes, even after they have been upgraded.☆12Jan 10, 2026Updated 9 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Accompagnement psychologique pour les étudiants☆12Oct 14, 2026Updated last week
- Fork of the SBPF VM that captures call-stack traces and generates flame charts for Solana programs profiling☆36Aug 25, 2025Updated last year
- Ship without fear. Proofs, not promises.☆68Oct 1, 2026Updated 3 weeks ago
- optimized huff snippets☆20May 2, 2023Updated 3 years ago
- Trust infrastructure for million-agent economies on Solana - identity, reputation, and validation designed for continuous feedback at sca…☆19May 13, 2026Updated 5 months ago
- Agave target for solfuzz☆40Updated this week
- Fixed-point math library with logarithmic and exponential functions. Designed for blockchain applications.☆19Aug 7, 2026Updated 2 months ago