Alternatives and similar repositories for mir

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

• uw-pluverse / perses
  language-agnostic program reducer.
  ☆197Updated last week
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated 2 weeks ago
• andromeda / lya
  A Coarse-grained Dynamic Analysis Framework
  ☆23Updated last week
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated this week
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆273Updated this week
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆92Updated last week
• harp-lab / gdlog
  ☆88Updated last year
• nyu-acsys / raven
  An automated deductive program verifier based on concurrent separation logic
  ☆25Updated this week
• verse-lab / loom
  Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…
  ☆95Updated last week
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆92Updated last week
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• microsoft / verus-proof-synthesis
  ☆51Updated 3 weeks ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆282Updated 2 months ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• marijnheule / microsat
  microsat
  ☆138Updated 3 years ago
• viperproject / gobra
  Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
  ☆140Updated this week
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆137Updated last week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated 2 weeks ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆64Updated last week
• TermCOMP / TPDB
  The Termination Problem Database
  ☆29Updated 3 months ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆152Updated 5 months ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆111Updated last week
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆48Updated 3 weeks ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆319Updated this week
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆110Updated last week
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆164Updated this week
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆81Updated last week
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆90Updated this week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆141Updated last week
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆202Updated 3 years ago