bestofgithub.dev

← Back to the directory

rust-lang/miri

View on GitHub

An interpreter for Rust's mid-level intermediate representation

rust-lang/miri is #6,472 on the bestofgithub Elo ladder, in Silver IV, with a rating of 1,453 (+32 this week). It has 6,747 stars, 20 gained in the last week.

Silver IV

1,453 Elo

  • #6,472 on the ladder
  • −9 today · +32 this week
  • Peak 1,462
11 Elo to Silver III

Stars

6,747

  • +0 today
  • +20 this week
  • – this month

Repository

Forks
548
Language
Rust
Last push

Achievements

bestofgithub badgeMaintainer? Show your league in your README

Card: your league's emblem, from Copper to Legendary

[![bestofgithub](https://bestofgithub.dev/badge/rust-lang/miri.svg?style=card)](https://bestofgithub.dev/repo/rust-lang/miri)

Flat: fits beside your other badges

[![bestofgithub](https://bestofgithub.dev/badge/rust-lang/miri.svg)](https://bestofgithub.dev/repo/rust-lang/miri)

Install

git
git clone https://github.com/rust-lang/miri.git

README

Loading README…