Skip to content
Avatar
239 followers · 5 following
  • aurora.tech
  • Pittsburgh, PA
  • Twitter @dwrensha

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@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.

Report abuse

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

Report abuse

Pinned

  1. capnproto/capnproto-rust Public

    Cap'n Proto for Rust

    Rust 1.3k 145

  2. capnproto/capnproto-java Public

    Cap'n Proto in pure Java

    Java 320 73

  3. seer Public

    symbolic execution engine for Rust

    Rust 299 8

  4. sandstorm-rawapi-example-rust Public

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

    Rust 20 5

  5. fuzz-rustc Public

    setup for fuzzing the Rust compiler

    Rust 37 1

  6. lean4-maze Public

    maze game encoded in Lean 4 syntax

    Lean 17 2

384 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

March 2022

Created 3 commits in 2 repositories

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