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
  ☆23Updated last week
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated last week
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆221Updated 2 years ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆273Updated this week
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆164Updated this week
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆64Updated last week
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆196Updated 4 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
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆90Updated last week
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆117Updated last week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆139Updated this week
• viperproject / gobra
  Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
  ☆139Updated last week
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆151Updated 4 months ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆290Updated last month
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆135Updated this week
• marijnheule / microsat
  microsat
  ☆137Updated 3 years ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆278Updated last month
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆92Updated last year
• rems-project / cn
  CN separation logic refinement type system for C
  ☆39Updated this week
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆318Updated this week
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆194Updated 2 years ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆116Updated this week
• harp-lab / gdlog
  ☆86Updated last year
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆67Updated this week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆70Updated 3 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 11 months ago
• goblint / analyzer
  Static analysis framework for C
  ☆215Updated this week
• semgrep / pfff
  pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…
  ☆183Updated 2 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆264Updated last year