Giters
Ralf Jung (RalfJung)

RalfJung

Geek Repo

831

followers

0

following

16

stars

Home Page:https://www.ralfj.de

Github PK Tool:Github PK Tool

Organizations
freifunk-saar
rust-lang
wlanslovenija

Ralf Jung's repositories

cargo-careful

Execute Rust code carefully, with extra checking along the way

Language:RustLicense:Apache-2.0Stargazers:359Issues:12Issues:11

bubblebox

Simple Application Sandboxing

Language:PythonLicense:GPL-2.0Stargazers:14Issues:0Issues:0

rustc-build-sysroot

Build a rustc sysroot with custom flags

Language:RustLicense:Apache-2.0Stargazers:12Issues:4Issues:5

lilass

Linux Laptop Screen Setup

Language:PythonLicense:GPL-2.0Stargazers:11Issues:3Issues:4

io.keybase.Keybase

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

Language:ShellStargazers:7Issues:2Issues:0

rfcs

RFCs for changes to Rust

Language:MarkdownLicense:Apache-2.0Stargazers:3Issues:3Issues:0

ansible

ansible playbooks for my servers

Language:PythonStargazers:2Issues:3Issues:0

miri

An interpreter for Rust's mid-level intermediate representation

Language:RustLicense:Apache-2.0Stargazers:1Issues:2Issues:0

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

Language:JavaScriptLicense:LGPL-2.1Stargazers:1Issues:3Issues:0

anyhow

Flexible concrete Error type built on std::error::Error

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

backtrace-rs

Backtraces in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

cargo

The Rust package manager

Language:RustLicense:Apache-2.0Stargazers:0Issues:3Issues:0

compiler-builtins

Porting `compiler-rt` intrinsics to Rust

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0

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.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:3Issues:0

hashbrown

Rust port of Google's SwissTable hash map

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

josh

Just One Single History

Language:RustLicense:MITStargazers:0Issues:1Issues:0

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.

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

memoffset

offsetof for Rust

Language:RustLicense:MITStargazers:0Issues:2Issues:0

miri-test-libstd

Testing the Rust standard library with Miri, continuously

Language:ShellLicense:Apache-2.0Stargazers:0Issues:1Issues:0

portable-simd

The testing ground for the future of portable SIMD in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

reference

The Rust Reference

Language:CSSLicense:Apache-2.0Stargazers:0Issues:3Issues:0

rust

A safe, concurrent, practical language.

Language:RustLicense:NOASSERTIONStargazers:0Issues:4Issues:0

rust-analyzer

A Rust compiler front-end for IDEs

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:2Issues:0

Signal-Android

A private messenger for Android.

Language:JavaLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

stdarch

Rust's standard library vendor-specific APIs and run-time feature detection

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:2Issues:0

steel

An embedded scheme interpreter in Rust

License:Apache-2.0Stargazers:0Issues:0Issues:0

unsafe-code-guidelines

Home for the Unsafe Code Guidelines effort.

License:Apache-2.0Stargazers:0Issues:2Issues:0

version_check

Rust library for checking the installed/running rustc's version.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0