K semantics for Solana
☆16Jun 23, 2026Updated 4 months ago
Alternatives and similar repositories for kompass
Users that are interested in kompass are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- solana vote monitor with real-time tvc (timely vote credits) tracking.☆14Jul 23, 2025Updated last year
- macro for generating type-safe CPI functions from Solana IDLs☆11Jun 10, 2025Updated last year
- Reserve Folio — A protocol for creating permissionless Index Assets☆11Oct 9, 2025Updated last year
- Execute and verify compiled Solana sBPF programs with a Lean 4 reference model☆20Oct 1, 2026Updated 3 weeks ago
- 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
- 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.
- zkVMs vulnerabilities☆16May 4, 2026Updated 5 months ago
- Schnorr signature verification in SVM☆10May 8, 2026Updated 5 months ago
- An sBPF assembly program to transfer lamports via CPI.☆14Aug 1, 2025Updated last year
- Sign and verify Secp256k1 ECDSA signatures in SVM☆15May 8, 2026Updated 5 months ago
- A CLI tool to debug Solana programs☆22May 9, 2025Updated last year
- a sybil-resistant randomized onchain giveaway program☆16Oct 31, 2024Updated last year
- High-performance Solana Program Fuzzer written in Rust with LibAFL/LiteSVM backend with sBPF edge coverage and state coverage☆73Sep 28, 2026Updated last month
- A fast, modular, optimized ZKEVM core written in C++☆15Updated this week
- Analyzer for Uniswap v4 Hooks☆12Mar 4, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆26Updated this week
- Zipper: Anti-Rug & Anti-Sandwich Primitive☆37Dec 14, 2022Updated 3 years ago
- This project is an adapted version of Seth-McKilla's project with the newest Wagmi version.☆17Apr 21, 2023Updated 3 years ago
- ☆13Mar 25, 2026Updated 7 months ago
- Native Rust Q4 programs☆19Nov 7, 2024Updated last year
- An upstream BPF linker for SBPF V0 programs☆52Updated this week
- ☆24Oct 21, 2026Updated last week
- Benchmark tool for Solana Geyser gRPC endpoints. Measures slot propagation and account update delays between endpoints.☆22Aug 31, 2026Updated last month
- A solana Tx Log Parser☆20Apr 27, 2025Updated last year
- 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.
- We are systematizing everything we know about Solana security into one structured resource: the Solana Security Strategy. It’s a field-te…☆241Jul 27, 2025Updated last year
- Detect or infer the Anchor, Solana, and Rust versions needed for an Anchor project.☆14Oct 17, 2026Updated last week
- 🌪️ Solana Sealevel Framework☆75Jul 22, 2026Updated 3 months ago
- Node module for scanning and visualize Solana accounts☆39Updated this week
- A static analysis tool for rust, anchor, stylus, and solidity smart contracts.☆154Sep 7, 2026Updated last month
- Permissionless Solana crank for scheduling instructions with minimum overhead.☆18Oct 15, 2026Updated 2 weeks ago
- Agave target for solfuzz☆40Updated this week
- ☆12Sep 23, 2025Updated last year
- Framework-agnostic Solana transaction signing with multiple backends. Unified trait interface, async-first design, and feature-gated comp…☆77Updated 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.
- ☆28Apr 13, 2026Updated 6 months ago
- ☆127Oct 15, 2026Updated last week
- CLI tool for static analysis of Noir, inspired by Cargo Clippy and Cargo Check.☆10Apr 2, 2025Updated last year
- Beginner Friendly Rust Security Workshop☆35Feb 26, 2024Updated 2 years ago
- Create and manage on chain social graphs☆13Sep 4, 2025Updated last year
- Bootstrap, build and deploy sBPF assembly programs with ease☆136Updated this week
- ☆55Oct 14, 2026Updated 2 weeks ago