Alternatives and similar repositories for mir

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

• andromeda / lya
  A Coarse-grained Dynamic Analysis Framework
  ☆23Updated 2 weeks ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆200Updated 2 months ago
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated this week
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆72Updated last week
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆47Updated last week
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated 2 weeks ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆95Updated 2 months ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 4 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆153Updated last week
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆196Updated 2 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated last month
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆95Updated this week
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆277Updated last week
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆221Updated 3 years ago
• goblint / analyzer
  Static analysis framework for C
  ☆231Updated this week
• binpash / dish
  DiSh: Dynamic Shell-Script Distribution
  ☆31Updated 6 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 5 months ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆204Updated 3 years ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆295Updated this week
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆92Updated last year
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆63Updated last year
• rems-project / cn
  CN separation logic refinement type system for C
  ☆44Updated this week
• cuhk-s3 / Creal
  ☆36Updated 5 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated 2 months ago
• secure-foundations / human-eval-verus
  ☆23Updated 4 months ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆124Updated 2 weeks 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…
  ☆153Updated 7 months ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆125Updated 2 years ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆147Updated this week
• david-christiansen / ssft24
  ☆19Updated last year