Ralf Jung

icon indicating a website link https://www.ralfj.de

icon location I am not looking for a new job, please do not contact me for recruiting.

Results 3 repositories owned by Ralf Jung

minirust

629
Stars
20
Forks
Watchers

A precise specification for "Rust lite / MIR plus"

verified publisher icon RalfJung

cargo-careful

326
Stars
14
Forks
Watchers

Execute Rust code carefully, with extra checking along the way

verified publisher icon RalfJung

git-mirror

73
Stars
14
Forks
Watchers

Keep git repositories on multiple servers in sync

verified publisher icon RalfJung