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 month
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆200Updated last month
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated last week
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆276Updated 3 weeks ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated this week
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated this week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆151Updated 2 weeks ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆94Updated 3 weeks ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆93Updated last month
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated last month
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆121Updated last week
• nyu-acsys / raven
  An automated deductive program verifier based on concurrent separation logic
  ☆27Updated this week
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated this week
• microsoft / verus-proof-synthesis
  ☆64Updated this week
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆67Updated this week
• secure-foundations / human-eval-verus
  ☆24Updated 3 months ago
• harp-lab / gdlog
  ☆87Updated last year
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 5 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 4 months ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆195Updated last month
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆63Updated last month
• viperproject / VerifiedSCION
  Verifying the SCION architecture using Gobra
  ☆11Updated last week
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆158Updated this week
• cedar-policy / cedar-spec
  Definitional implementation of Cedar language and utilities for DRT
  ☆144Updated this week
• dcao / babble
  library learning w egraphs
  ☆21Updated 2 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆44Updated 3 weeks ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆92Updated last year
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆112Updated 3 weeks ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆30Updated 4 months ago