Ralf Jung

cargo-careful. Execute Rust code carefully, with extra checking along the way

rust-101. A tutorial for the Rust language

git-mirror. Keep git repositories on multiple servers in sync

bubblebox. Simple Application Sandboxing

rustc-build-sysroot. Build a rustc sysroot with custom flags

lilass. Linux Laptop Screen Setup

io.keybase.Keybase. Flatpak version of [Keybase](https://keybase.io/)

zonemaker. Python DNS zone files

dyn-nsupdate. Dynamically and securely update DNS zones via CGI

lets-encrypt-tiny. A tiny client for Let's Encrypt

rfcs. RFCs for changes to Rust

ansible. ansible playbooks for my servers

inline-const. Rust

schsh. Restricted file access via SSH

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.

rust-central-station. Rust building infrastructure

miri. An interpreter for Rust's mid-level intermediate representation

noFUDroid. Blocks some FUD on Android. A fork of NetworkMonitoredBlocker, adding support for newer versions of Android.

opam-coq-archive. Archive for all Coq related OPAM packages organized in various repositories