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
  ☆19Updated 2 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆36Updated this week
• xldenis / whycode
  ☆19Updated 3 weeks ago
• engboris / stellogen
  A (still naive, incomplete and unstable) programming language based on Girard's transcendental syntax
  ☆72Updated this week
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆18Updated this week
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated 3 months ago
• 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 2 weeks ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆172Updated last week
• binpash / shasta
  A shell AST library in Python
  ☆10Updated this week
• gitbugactions / gitbugactions
  ⚙️ A tool to build bug-fix benchmarks with GitHub Actions ⚙️
  ☆13Updated this week
• google / netkat
  Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
  ☆16Updated this week
• rems-project / cerberus
  Cerberus C semantics
  ☆60Updated this week
• goblint / cil
  C Intermediate Language
  ☆146Updated this week
• harp-lab / gdlog
  ☆79Updated 2 months ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆39Updated last month
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆81Updated this week
• tchajed / database-stream-processing-theory
  Formalization of DBSP
  ☆14Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆69Updated this week
• stevana / svg-viewer-in-svg
  SVG viewer in SVG
  ☆17Updated last year
• gsakkas / rite
  Type Error Feedback via Analytic Program Repair
  ☆16Updated last year
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last month
• Tritlo / PropR
  Genetic program repair using GHC
  ☆30Updated 8 months ago
• SethPoulsen / robottwo
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆16Updated 2 years ago
• vagos / llm-interpolate
  Interpolate between embedding points with llm
  ☆31Updated 6 months ago
• joscoh / why3-semantics
  Formal Semantics for Why3
  ☆15Updated this week
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 5 months ago
• SabrinaRamonov / ai-llm-agent-solver
  ☆10Updated 5 months ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆47Updated last week
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• theosotr / buildfs
  A dynamic method for detecting faults in incremental and parallel builds.
  ☆17Updated 2 years ago