☆55Oct 14, 2026Updated 2 weeks ago
Alternatives and similar repositories for mir-semantics
Users that are interested in mir-semantics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ethdebug.py is a debugger-side implementation of the EthDebug format☆15May 19, 2026Updated 5 months ago
- K semantics for Solana☆16Jun 23, 2026Updated 4 months ago
- An open-source library of property-based tests for most common Ethereum token standards.☆37Jul 4, 2025Updated last year
- A comprehensive testing framework for Solana programs using LiteSVM.☆12Jun 11, 2025Updated last year
- zkVMs vulnerabilities☆16May 4, 2026Updated 5 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- VSCode extension for debugging Solidity using Simbolik API server☆48Oct 13, 2026Updated 2 weeks ago
- Learn to audit Solana programs and help secure the ecosystem. Take your security practices to the next level and get certified by Ackee B…☆173Nov 25, 2025Updated 11 months ago
- VS Code extension for Solana☆38Apr 1, 2026Updated 6 months ago
- A Pointer Analysis Framework for Rust☆74Jul 13, 2026Updated 3 months ago
- ☆42Sep 16, 2026Updated last month
- ☆74Feb 27, 2024Updated 2 years ago
- ☆40Jul 13, 2025Updated last year
- ☆19May 6, 2026Updated 5 months ago
- Rust and C Benchmarks☆16Nov 21, 2024Updated last year
- 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.
- ☆39Aug 20, 2026Updated 2 months ago
- [Hackathon winner]A production-ready micropayment gateway that implements HTTP 402 (Payment Required) to monetize access to historical So…☆22Dec 3, 2025Updated 10 months ago
- Rust macros that produce the name of the function they're invoked within.☆23May 11, 2022Updated 4 years ago
- Python API for lightweight communication with the Rocq proof assistant☆21Apr 18, 2026Updated 6 months ago
- Lydia: Who's Your Enemy in the Dark Forrest☆14Aug 24, 2025Updated last year
- ☆229May 29, 2026Updated 5 months ago
- Clone and analyze all programs from mainnet-beta☆17May 8, 2026Updated 5 months ago
- Reserve Folio — A protocol for creating permissionless Index Assets☆11Oct 9, 2025Updated last year
- A Prop AMM written in Solidity, inspired by Obric's Prop AMM on Sui☆13Dec 17, 2025Updated 10 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.
- ☆65Feb 15, 2023Updated 3 years ago
- ☆60Jul 29, 2025Updated last year
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆12Feb 13, 2025Updated last year
- Low latency pricing oracle for ephemeral rollups☆27Oct 15, 2026Updated 2 weeks ago
- CLI tool for static analysis of Noir, inspired by Cargo Clippy and Cargo Check.☆10Apr 2, 2025Updated last year
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆12Aug 11, 2024Updated 2 years ago
- Tools for TPU to investigate latency, stress test, etc☆21Oct 20, 2026Updated last week
- Solidity static analyzer you can talk to. MCP integration for Claude Code, Cursor, and Windsurf.☆30Jan 27, 2026Updated 9 months ago
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆14Feb 15, 2026Updated 8 months ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆286Feb 12, 2022Updated 4 years ago
- Complete these Ethereum coding challenges and take the flags back.☆37Sep 2, 2026Updated last month
- A fully automated Rust fuzz driver generator☆63Jun 17, 2025Updated last year
- ☆33Oct 21, 2026Updated last week
- Ethereum Protocol Security Review Assistant☆16Jun 29, 2026Updated 4 months ago
- Ongoing formal verification for Asterinas OSTD☆59Updated this week