Pinned Repositories
bubblebox
Simple Application Sandboxing
cargo-careful
Execute Rust code carefully, with extra checking along the way
dyn-nsupdate
Dynamically and securely update DNS zones via CGI
git-mirror
Keep git repositories on multiple servers in sync
inline-const
io.keybase.Keybase
Flatpak version of [Keybase](https://keybase.io/)
lilass
Linux Laptop Screen Setup
rust-101
A tutorial for the Rust language
rustc-build-sysroot
Build a rustc sysroot with custom flags
zonemaker
Python DNS zone files
RalfJung's Repositories
RalfJung/cargo-careful
Execute Rust code carefully, with extra checking along the way
RalfJung/bubblebox
Simple Application Sandboxing
RalfJung/rustc-build-sysroot
Build a rustc sysroot with custom flags
RalfJung/lilass
Linux Laptop Screen Setup
RalfJung/io.keybase.Keybase
Flatpak version of [Keybase](https://keybase.io/)
RalfJung/rfcs
RFCs for changes to Rust
RalfJung/ansible
ansible playbooks for my servers
RalfJung/miri
An interpreter for Rust's mid-level intermediate representation
RalfJung/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
RalfJung/anyhow
Flexible concrete Error type built on std::error::Error
RalfJung/backtrace-rs
Backtraces in Rust
RalfJung/cargo
The Rust package manager
RalfJung/compiler-builtins
Porting `compiler-rt` intrinsics to Rust
RalfJung/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
RalfJung/hashbrown
Rust port of Google's SwissTable hash map
RalfJung/josh
Just One Single History
RalfJung/libc
Raw bindings to platform APIs for Rust
RalfJung/llvm-project
This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
RalfJung/memoffset
offsetof for Rust
RalfJung/miri-test-libstd
Testing the Rust standard library with Miri, continuously
RalfJung/portable-simd
The testing ground for the future of portable SIMD in Rust
RalfJung/reference
The Rust Reference
RalfJung/rust
A safe, concurrent, practical language.
RalfJung/rust-analyzer
A Rust compiler front-end for IDEs
RalfJung/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
RalfJung/Signal-Android
A private messenger for Android.
RalfJung/stdarch
Rust's standard library vendor-specific APIs and run-time feature detection
RalfJung/steel
An embedded scheme interpreter in Rust
RalfJung/unsafe-code-guidelines
Home for the Unsafe Code Guidelines effort.
RalfJung/version_check
Rust library for checking the installed/running rustc's version.