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
  ☆22Updated 2 years ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆193Updated 2 months ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated last week
• kbensh / koala
  A benchmark suite for performance-oriented shell-optimization research
  ☆23Updated last month
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated last month
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆274Updated this week
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 5 months ago
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆478Updated last year
• matthewhague / sat-css-tool
  Minify CSS files through refactoring
  ☆261Updated last year
• goblint / cil
  C Intermediate Language
  ☆152Updated this week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆124Updated this week
• cs-au-dk / jelly
  JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
  ☆386Updated 2 weeks ago
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 6 months ago
• AZHenley / superoptimizer
  A toy superoptimizer for a limited assembly language.
  ☆58Updated 2 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• capjamesg / knowledge-graph-language
  A query language for exploring knowledge graphs.
  ☆143Updated 3 months ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆262Updated 2 years ago
• harp-lab / gdlog
  ☆83Updated 10 months ago
• binpash / pash
  PaSh: Light-touch Data-Parallel Shell Processing
  ☆577Updated 2 weeks ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆135Updated 3 months ago
• OCamlPro / owi
  Symbolic execution for Wasm, C, C++, Rust and Zig
  ☆246Updated 2 weeks ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆133Updated last year
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆87Updated last month
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆130Updated this week
• whitequark / superlinker
  a tool for reinterpreting ELF executables and shared libraries
  ☆330Updated 9 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated 2 weeks ago
• nimrag-b / emiT-C
  A time travelling programming language
  ☆255Updated 9 months ago
• darkmacheken / wasmati
  A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code
  ☆31Updated last year
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆443Updated 3 weeks ago