Skip to content


@cbv @keymaerad @capnproto
Block or Report

Block or report dwrensha

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Add an optional note:
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse


  1. Cap'n Proto for Rust

    Rust 1.4k 164

  2. Cap'n Proto in pure Java

    Java 335 76

  3. seer Public

    symbolic execution engine for Rust

    Rust 309 8

  4. Example Sandstorm app using only the raw Cap'n Proto API, written in Rust.

    Rust 21 5

  5. fuzz-rustc Public

    setup for fuzzing the Rust compiler

    Rust 40 1

  6. lean4-maze Public

    maze game encoded in Lean 4 syntax

    Lean 26 3

368 contributions in the last year

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

Contribution activity

September 2022

Created 2 repositories

Created a pull request in egg-mode-rs/egg-mode that received 3 comments

fix media upload in create_tweet example

Fixes #125. If handle.progress is None, as it commonly is for image uploads, then get_status() will return a 404, so we need to check it before cal…

+3 −1 3 comments
Opened 2 other pull requests in 2 repositories
capnproto/capnproto-rust 1 merged
leanprover-community/mathlib4 1 closed
Reviewed 1 pull request in 1 repository

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

expected type for b/#0 (b/0) but found Lifetime(ReStatic) when substituting, substs=[ReStatic]

rustc crashes on the following input, found by fuzz_rustc: Code trait A{type B<'b>;} struct C; impl A for C { type B<b> =impl; fn a() -> Self::B<'a>;

Opened 1 other issue in 1 repository
leanprover-community/mathlib4 1 open

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