Alternatives and similar repositories for mir:

Users that are interested in mir are comparing it to the libraries listed below

• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆40Updated 3 weeks ago
• binpash / shasta
  A shell AST library in Python
  ☆10Updated 3 months ago
• goblint / cil
  C Intermediate Language
  ☆149Updated last week
• secure-foundations / human-eval-verus
  ☆13Updated last month
• 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…
  ☆42Updated 3 months ago
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated this week
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 6 months ago
• theosotr / buildfs
  A dynamic method for detecting faults in incremental and parallel builds.
  ☆17Updated 2 years ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆186Updated last month
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆101Updated this week
• pschanely / contractual-semver
  Contractual Semver
  ☆26Updated 3 years ago
• NeuralCoder3 / transpilation
  A summary of ideas about transpilation -- work in progress
  ☆21Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆57Updated last week
• stevana / svg-viewer-in-svg
  SVG viewer in SVG
  ☆17Updated this week
• Bitlogic-templates / eagle-eye
  ☆11Updated this week
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆89Updated 10 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated 2 weeks ago
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆132Updated 4 months ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated last month
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆108Updated this week
• jamesma100 / randomart
  random art generator for cryptographic keys
  ☆23Updated 2 months ago
• RalfJung / bubblebox
  Simple Application Sandboxing
  ☆18Updated 8 months ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆56Updated 3 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆50Updated this week
• rems-project / cerberus
  Cerberus C semantics
  ☆61Updated last week
• rkthomps / coq-modeling
  Language models for Coq based on data collected from the coq lsp.
  ☆11Updated this week
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆94Updated 2 weeks ago
• susam / mathcask
  A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
  ☆12Updated last month