Ralf Jung Ralf Jung

Tracking 2.88K commits to 98 open source packages


Repositories

RalfJung/rust-101
A tutorial for the Rust language
Rust - CC-BY-SA-4.0 - Last pushed - 110 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 - 3 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

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 - 529 stars - 59 forks
Jiangzhenjing/test
This repository is no longer available - 0 stars
See all Ralf Jung's contributions

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

Login to resync this page