Execute and verify compiled Solana sBPF programs with a Lean 4 reference model
☆21Nov 6, 2026Updated this week
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.☆12Jun 11, 2025Updated last year
- An awesome collective of major Solana libraries — core sdk, programs, interfaces, clients, crypto etc☆13Sep 18, 2026Updated last month
- an AF_XDP based receiver for doublezero edge☆24Oct 5, 2026Updated last month
- ☆14Feb 15, 2026Updated 8 months ago
- Anchor discriminator generator CLI tool.☆11Jun 30, 2025Updated last year
- 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.
- A template for creating Solana BPF programs using the upstream LLVM toolchain.☆11Jan 9, 2026Updated 10 months ago
- macro for generating type-safe CPI functions from Solana IDLs☆11Jun 10, 2025Updated last year
- An upstream BPF linker for SBPF V0 programs☆55Updated this week
- Build efficient sBPF programs in C☆26Oct 29, 2026Updated 2 weeks ago
- ☆17Aug 3, 2025Updated last year
- ☆27Updated this week
- A general CPI interface for client-side protocol routing for Solana programs.☆57Jul 12, 2026Updated 4 months ago
- Generate multi-layered, LLM-friendly index files for Rust codebases☆15Feb 11, 2026Updated 9 months ago
- K semantics for Solana☆16Jun 23, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Ship without fear. Proofs, not promises.☆71Oct 29, 2026Updated 2 weeks ago
- ☆11Apr 22, 2026Updated 6 months ago
- ☆32Jul 10, 2026Updated 4 months ago
- Ed25519 signature verification for Solana programs☆38Sep 21, 2026Updated last month
- Archived final MIT HivemindOS Community Edition. Current product development is proprietary to Rizzma Inc.; public SDK: LiamVisionary/hiv…☆13Updated this week
- A blazing fast Solana program framework.☆164Oct 27, 2026Updated 2 weeks ago
- Solana RpcX☆21Mar 30, 2026Updated 7 months ago
- ECVRF-EDWARDS25519-SHA512-TAI verification for Solana programs.☆13Sep 13, 2026Updated last month
- ☆63Oct 21, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆68Updated this week
- A CLI tool to debug Solana programs☆22May 9, 2025Updated last year
- [WIP] Codama nodes and IDL extraction in Rust☆26Updated this week
- Use TSTORE in contracts deployed to multiple chains with varying opcode support☆16Apr 2, 2024Updated 2 years ago
- The fastest oracle on Solana☆166Oct 22, 2026Updated 3 weeks ago
- Hedged Solana RPC client that races multiple providers and returns the first successful response.☆40Nov 16, 2025Updated 11 months ago
- Byte-identical decompiled Rust source of the closed-source GoonFi V2 Solana program (research)☆17Oct 15, 2026Updated 3 weeks ago
- Static analyzer tool for Solana☆85Nov 20, 2025Updated 11 months ago
- Solana SDK in Elixir, supporting RPC, Geyser, Jito and Txn decoding☆11Feb 11, 2026Updated 9 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.
- orquestra is a free, open-source platform that instantly converts Solana program IDLs into production-ready APIs & MCP server.☆26Nov 6, 2026Updated last week
- ☆32Oct 19, 2026Updated 3 weeks ago
- Solana Developer Platform API and Dashboard☆58Updated this week
- 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 5 months ago
- Solana program for third party assets delegations☆45Updated this week
- Solana Microscope☆52Updated this week
- User Interface to interact with a Solana program.☆45Jun 25, 2025Updated last year
Are these results useful?