Skip to content


  • Arctic Code Vault Contributor

Popular repositories

  1. Forked from nrc/libhoare

    Design by contract style assertions for Rust

    Rust 2 2

  2. Forked from rust-lang/rust

    a safe, concurrent, practical language

    Rust 1

6,939 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

January 2021

Created an issue in rust-lang/rust that received 7 comments

`miri` no longer builds after rust-lang/rust#80905

Hello, this is your friendly neighborhood mergebot. After merging PR #80905, I observed that the tool miri no longer builds. A follow-up PR to the …

Opened 1 other issue in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.