Skip to content
Avatar

Achievements

Achievements

Organizations

@wlanslovenija @rust-lang @freifunk-saar
Block or Report

Block or report RalfJung

Block user

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

Report abuse

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

Report abuse

Popular repositories

  1. A tutorial for the Rust language

    Rust 206 32

  2. Keep git repositories on multiple servers in sync

    Python 63 9

  3. Dynamically and securely update DNS zones via CGI

    Python 8 3

  4. Linux Laptop Screen Setup

    Python 6 2

  5. Python DNS zone files

    Python 6 3

  6. Testing the Rust standard library with Miri, continuously

    Shell 4 1

Contribution activity

May 2021

Created 3 repositories

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

Remove rustc_args_required_const attribute

Now that stdarch no longer needs it (thanks @Amanieu!), we can kill the rustc_args_required_const attribute. This means that lifetime extension of …

+107 −609 41 comments
Opened 27 other pull requests in 10 repositories
rust-lang/rust
3 closed 8 merged 1 open
rust-lang/stdarch
3 merged
rust-lang/miri
3 merged
rust-lang/rustc-dev-guide
1 open 1 merged
mit-pdos/gokv
1 open 1 merged
rust-lang/const-eval
1 merged
rust-lang/highfive
1 merged
tchajed/goose
1 open
Gilnaa/memoffset
1 merged
tchajed/marshal
1 merged

Created an issue in matthieu-m/ghost-cell that received 7 comments

"left as an exercise to the reader"?

I am a bit confused about which methods you refer to when you say they have been "left as an exercise to the reader". We have a complete and compil…

7 comments
Opened 4 other issues in 3 repositories

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