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
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated this week
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆195Updated 3 months ago
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated this week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆132Updated this week
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆275Updated 2 weeks ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• matthewhague / sat-css-tool
  Minify CSS files through refactoring
  ☆261Updated last year
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆478Updated this week
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 5 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆135Updated 4 months ago
• c0stya / trre
  Transductive regular expressions
  ☆252Updated 4 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆116Updated last week
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆445Updated last month
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆201Updated 3 years ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆269Updated last week
• binpash / pash
  PaSh: Light-touch Data-Parallel Shell Processing
  ☆580Updated last month
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆193Updated 2 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆163Updated this week
• guregu / php
  Prolog Home Page
  ☆73Updated 4 months ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆71Updated last year
• ambulancja / mariposa
  A toy programming language with time travel
  ☆312Updated last year
• harp-lab / gdlog
  ☆83Updated 11 months ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆91Updated this week
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆88Updated last month
• goblint / analyzer
  Static analysis framework for C
  ☆204Updated this week
• OCamlPro / owi
  Seamless bug-finding for Wasm, C, C++, Rust and Zig
  ☆249Updated this week
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 6 months ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆63Updated this week
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆90Updated last year