Skip to content
Avatar
🦀
🦀

Achievements

Achievements

Highlights

  • Pro

Organizations

@scanner-research
Block or Report

Block or report willcrichton

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. Efficient video analysis at scale

    C++ 588 101

  2. lia Public

    A high-level language for Rust

    Rust 261 9

  3. A high-level Lua API for GPU parallelism [15-418 final]

    Perl 61 5

  4. tyrade Public

    A pure functional language for type-level programming in Rust

    Rust 178 8

  5. inliner Public

    Programmable, human-readable inlining of Python code

    Python 21 1

  6. rabbot Public

    Abstract binding tree code generator

    Rust 34 1

1,038 contributions in the last year

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

Contribution activity

September 2021

Created a pull request in rust-lang/rust that received 10 comments

Allow calling get_body_with_borrowck_facts without -Z polonius

For my static analysis tool, I need to access the set of outlives-constraints. Recently, #86977 merged a way to access these facts via Polonius. Ho…

+13 −13 10 comments
Reviewed 2 pull requests in 2 repositories
Opened 2 issues in 2 repositories
willcrichton/flowistry 1 open
rust-lang/cargo 1 open

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