Ralf Jung Ralf Jung

Tracking 3.87K commits to 116 open source packages


Repositories

RalfJung/rust-101
A tutorial for the Rust language
Rust - CC-BY-SA-4.0 - Last pushed - 111 stars - 22 forks
RalfJung/dyn-nsupdate
Dynamically and securely update DNS zones via CGI
Python - BSD-2-Clause - Last pushed - 6 stars - 1 forks
RalfJung/lilass
Linux Laptop Screen Setup
Python - GPL-2.0 - Last pushed - 4 stars - 1 forks
RalfJung/zonemaker
Python DNS zone files
Python - BSD-2-Clause - Last pushed - 2 stars
RalfJung/git-mirror
Keep git repositories on multiple servers in sync
Python - BSD-2-Clause - Last pushed - 23 stars - 3 forks
RalfJung/noFUDroid
Blocks some FUD on Android. A fork of NetworkMonitoredBlocker, adding support for newer versions ...
Java - GPL-2.0 - Last pushed - 0 stars - 1 forks
See all Ralf Jung's repositories

Repositories Contributed To

moshg/rust-std-ja
Rust標準ライブラリの和訳
Rust - Other - Last pushed - 2 stars - 1 forks
stallmanifold/LambdaRust-coq
Mirror of LambdaRust-coq. See https://gitlab.mpi-sws.org/FP/LambdaRust-coq.git
Coq - Other - Last pushed - 0 stars
peschkaj/rust-101
My crappy copy of https://github.com/RalfJung/rust-101
Rust - Other - Last pushed - 0 stars
amintimany/iris-with-logrel-backup
My copy of iris development
Coq - BSD-3-Clause - Last pushed - 0 stars
izgzhen/iris-coq
Coq - Other - Last pushed - 0 stars
rust-lang/miri
An interpreter for Rust's mid-level intermediate representation
Rust - Other - Last pushed - 530 stars - 59 forks
See all Ralf Jung's contributions

Last synced: 2017-02-21 22:00:03 UTC

Login to resync this page