Alternatives and similar repositories for mir:

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

• theosotr / buildfs
  A dynamic method for detecting faults in incremental and parallel builds.
  ☆17Updated 2 years ago
• andromeda / lya
  A Coarse-grained Dynamic Analysis Framework
  ☆20Updated 2 years ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆173Updated last month
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated 4 months ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆38Updated last week
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆40Updated 3 weeks ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆51Updated 2 months ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆53Updated this week
• Amocy-Wang / ProbDD
  Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…
  ☆15Updated 3 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆62Updated 2 weeks ago
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆24Updated 2 weeks ago
• binpash / shasta
  A shell AST library in Python
  ☆9Updated last month
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆19Updated this week
• ChrisTimperley / comby-python
  Python bindings for Comby
  ☆13Updated last year
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 6 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆75Updated this week
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆32Updated last month
• dspinellis / rdbunit
  Unit testing for SQL queries
  ☆24Updated 6 months ago
• vagos / llm-interpolate
  Interpolate between embedding points with llm
  ☆33Updated 7 months ago
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated last year
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆87Updated 8 months ago
• goblint / cil
  C Intermediate Language
  ☆146Updated last month
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆20Updated last year
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆23Updated last year
• harp-lab / gdlog
  ☆79Updated 3 months ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆51Updated last year
• ligurio / luzer
  A coverage-guided, native Lua fuzzing engine.
  ☆39Updated 3 weeks ago