Type theorist and Rust compiler developer.
Highlights
- Pro
Block or Report
Block or report varkor
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
rust-lang/rust Public
Empowering everyone to build reliable and efficient software.
-
109 contributions in the last year
Less
More
Contribution activity
May 2023
Created 12 commits in 2 repositories
1
contribution
in private repositories
May 18