Alternatives and similar repositories for mir

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

• kbensh / koala
  A benchmark suite for performance-oriented shell-optimization research
  ☆23Updated last week
• andromeda / lya
  A Coarse-grained Dynamic Analysis Framework
  ☆22Updated 2 years ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆191Updated 2 months ago
• cs-au-dk / jelly
  JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
  ☆383Updated last month
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated last week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆120Updated this week
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated last week
• UniCodeSphere / Creal
  ☆33Updated 9 months ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆269Updated last month
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆201Updated 3 years ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆127Updated this week
• binpash / dish
  DiSh: Dynamic Shell-Script Distribution
  ☆28Updated 3 weeks ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆191Updated 2 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆90Updated last year
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆310Updated 3 weeks ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆62Updated 2 weeks ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆302Updated last week
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆54Updated last year
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆273Updated 5 months ago
• viperproject / gobra
  Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
  ☆134Updated this week
• goblint / cil
  C Intermediate Language
  ☆148Updated 2 weeks ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆68Updated last year
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆88Updated this week
• goblint / analyzer
  Static analysis framework for C
  ☆200Updated this week
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆147Updated last month
• sree314 / simple-abstract-interpreter
  A Simple Abstract Interpreter, built for teaching purposes
  ☆20Updated 5 years ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆132Updated 4 months ago
• cedar-policy / cedar-spec
  Definitional implementation of Cedar language and utilities for DRT
  ☆126Updated this week
• uw-unsat / exoverifier
  ☆17Updated 2 years ago