runtimeverification/mir-semantics external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

runtimeverification/mir-semantics

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/runtimeverification/mir-semantics)

Close

runtimeverification / mir-semanticsView on GitHubMore

• External links
• Readme badge

☆39Mar 20, 2026Updated this week

Alternatives and similar repositories for mir-semantics

Users that are interested in mir-semantics are comparing it to the libraries listed below

• runtimeverification / ethdebug.py

  View on GitHub
  ethdebug.py is a debugger-side implementation of the EthDebug format
  ☆15Mar 12, 2026Updated last week
• runtimeverification / ercx-tests

  View on GitHub
  ☆36Jul 4, 2025Updated 8 months ago
• rustanlys / rupta

  View on GitHub
  A Pointer Analysis Framework for Rust
  ☆67Jun 17, 2025Updated 9 months ago
• runtimeverification / kontrol-demo

  View on GitHub
  Foundry blog posts' executable demos
  ☆14Apr 30, 2025Updated 10 months ago
• runtimeverification / kontrol

  View on GitHub
  ☆109Mar 13, 2026Updated last week
• Artisan-Lab / RULF

  View on GitHub
  A fully automated Rust fuzz driver generator
  ☆62Jun 17, 2025Updated 9 months ago
• padok-team / ansible-monitoring-stack

  View on GitHub
  ☆13Feb 16, 2024Updated 2 years ago
• asterinas / mlsdisk

  View on GitHub
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆20Jul 4, 2024Updated last year
• dabit3 / create-x402

  View on GitHub
  ☆26Nov 26, 2025Updated 3 months ago
• ComposableFi / example_solver

  View on GitHub
  ☆12Feb 3, 2025Updated last year
• Dodecahedr0x / amm-tutorial

  View on GitHub
  ☆11Mar 3, 2025Updated last year
• GaloisInc / yapall

  View on GitHub
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆68Mar 1, 2025Updated last year
• nikkieke / the_ceep_app

  View on GitHub
  A fintech app
  ☆10Feb 10, 2024Updated 2 years ago
• philzook58 / datalog-book

  View on GitHub
  A book about datalog
  ☆12Nov 26, 2022Updated 3 years ago
• cdisselkoen / llvm-ir-analysis

  View on GitHub
  ☆75Feb 27, 2024Updated 2 years ago
• drobnyd / Thesis

  View on GitHub
  Text of my bachelor thesis on Extracting Information from Database Modeling Tools
  ☆15May 21, 2019Updated 6 years ago
• cokeBeer / LibAFL-Learn

  View on GitHub
  一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。
  ☆36Nov 22, 2023Updated 2 years ago
• awslabs / ar-go-tools

  View on GitHub
  ar-go-tools (Argot) is a collection of analysis tools for Go
  ☆45Updated this week
• vusec / libaflgo

  View on GitHub
  LibAFLGo: Evaluating and Advancing Directed Greybox Fuzzing
  ☆25Mar 4, 2026Updated 2 weeks ago
• dpella / mcp

  View on GitHub
  ☆22Feb 19, 2026Updated last month
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• mc-imperial / dredd

  View on GitHub
  A mutation testing tool designed to work with large C++ (and C) codebases.
  ☆13Oct 28, 2025Updated 4 months ago
• cromulencellc / chess-aces

  View on GitHub
  ☆12Nov 2, 2022Updated 3 years ago
• yolc-dev / yul-dsl-monorepo

  View on GitHub
  The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …
  ☆41Jul 7, 2025Updated 8 months ago
• GaloisInc / surveyor

  View on GitHub
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆20Jan 14, 2021Updated 5 years ago
• autofix-ci / autofix.ci

  View on GitHub
  The autofix.ci website.
  ☆26Mar 2, 2026Updated 2 weeks ago
• nrempel / unisub

  View on GitHub
  A Pub/Sub library for Rust backed by Postgres
  ☆17Oct 3, 2023Updated 2 years ago
• os-checker / os-checker

  View on GitHub
  对 Rust 编写的代码运行一系列检查工具，并对结果进行报告和统计
  ☆64Dec 27, 2025Updated 2 months ago
• rckprtr / curve-launchpad

  View on GitHub
  ☆23Nov 12, 2024Updated last year
• icmccorm / mirilli

  View on GitHub
  A study of undefined behavior across foreign function boundaries in Rust libraries.
  ☆11Feb 13, 2025Updated last year
• NotDec / NotDec-wasm2llvm

  View on GitHub
  Translating WebAssembly into the most simple LLVM IR.
  ☆14Jan 6, 2026Updated 2 months ago
• Consensys / qbft-formal-spec-and-verification

  View on GitHub
  ☆11Jun 24, 2024Updated last year
• chevdor / subrpc

  View on GitHub
  As dev or end user, if you keep looking for the right endpoint for your Polkadot/Substrate blockchain, `subrpc` will make your life much …
  ☆14Feb 11, 2025Updated last year
• blocksecteam / hookscan

  View on GitHub
  Analyzer for Uniswap v4 Hooks
  ☆11Mar 4, 2024Updated 2 years ago
• mistymntncop / CVE-2022-26485

  View on GitHub
  ☆19Jan 31, 2023Updated 3 years ago
• endorlabs / MIRAI

  View on GitHub
  ☆202Mar 4, 2025Updated last year
• marinade-finance / liquid-staking-referral-program

  View on GitHub
  Wrapper functions over the liquid-staking-program main stake/unstake functions. Allows referrals from partners providing Marinade liquid-…
  ☆15Oct 26, 2022Updated 3 years ago
• Jezurko / potato

  View on GitHub
  Experimental MLIR based points-to analysis tool
  ☆18Jan 21, 2026Updated 2 months ago
• havelund / tracecontract

  View on GitHub
  A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…
  ☆11Dec 21, 2020Updated 5 years ago