Alternatives and similar repositories for mir

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

• binpash / dish
  DiSh: Dynamic Shell-Script Distribution
  ☆27Updated 5 months ago
• kbensh / koala
  A benchmark suite for performance-oriented shell-optimization research
  ☆9Updated this week
• andromeda / lya
  A Coarse-grained Dynamic Analysis Framework
  ☆21Updated 2 years ago
• binpash / shasta
  A shell AST library in Python
  ☆10Updated 4 months ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆42Updated this week
• 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…
  ☆43Updated 4 months ago
• dspinellis / rdbunit
  Unit testing for SQL queries
  ☆24Updated 9 months ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆191Updated 2 months ago
• Bitlogic-templates / eagle-eye
  ☆40Updated last month
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated last week
• susam / mathcask
  A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
  ☆13Updated 2 months ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆117Updated this week
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated last month
• RCKT-Software / telemetry
  An open-source progress tracker that predicts when you'll reach your goals.
  ☆18Updated last year
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 5 months ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆89Updated 11 months ago
• hwayne / tlaplus-exercises
  Some experiments in making exercises for teaching TLA+
  ☆18Updated 3 weeks ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆52Updated 2 weeks ago
• goblint / cil
  C Intermediate Language
  ☆145Updated last month
• rkthomps / coq-modeling
  Language models for Coq based on data collected from the coq lsp.
  ☆16Updated 2 weeks ago
• CodeBoarding / GeneratedOnBoardings
  A quick repository for me to upload the generated onboarding materials.
  ☆17Updated this week
• o0101 / janus
  A P2P blog and P2P Chat with no signalling server. Nothin' but RTC!
  ☆14Updated last year
• stevana / svg-viewer-in-svg
  SVG viewer in SVG
  ☆17Updated last month
• p-org / peasy-ide-vscode
  Peasy: An Intuitive Development Environment for P
  ☆14Updated 3 weeks ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• underthreaded / dvlg
  A markup language for high efficiency note taking
  ☆16Updated 7 months ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆35Updated 3 weeks ago
• Ericson2314 / baccumulation
  ☆44Updated 4 months ago
• secure-foundations / human-eval-verus
  ☆17Updated 2 months ago
• ajbouh / substrate
  ☆12Updated last week