Repositories

RalfJung鈥檚 public work

Current GitHub adoption and maintenance signals.

16
RalfJung/miri

An interpreter for Rust's mid-level intermediate representation

RustApache-2.0Fork
Stars
1
Forks
0
Pushed
Today
17
RalfJung/opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

OCamlNOASSERTIONFork
Stars
1
Forks
0
Pushed
7y ago
19
RalfJung/rust

A safe, concurrent, practical language.

RustApache-2.0Fork
Stars
0
Forks
0
Pushed
Today
23
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.

LLVMNOASSERTIONFork
Stars
0
Forks
0
Pushed
12d ago
24
RalfJung/josh-sync

Utilities for synchronizing Josh subtrees to the Rust compiler repo

License unknownFork
Stars
0
Forks
0
Pushed
13d ago
25
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.

OCamlLGPL-2.1Fork
Stars
0
Forks
0
Pushed
18d ago
26
RalfJung/stdarch

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

RustApache-2.0Fork
Stars
0
Forks
0
Pushed
26d ago
28
RalfJung/rfcbot-rs

Coordinates asynchronous decision making on Rust repositories. Status of tracked issues and PRs can be viewed at https://rfcbot.rs.

Apache-2.0Fork
Stars
0
Forks
0
Pushed
1mo ago
29
RalfJung/ui_test

A test framework for testing rustc diagnostics output

License unknownFork
Stars
0
Forks
0
Pushed
1mo ago
31
RalfJung/tokio

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

MITFork
Stars
0
Forks
0
Pushed
3mo ago
32
RalfJung/portable-simd

The testing ground for the future of portable SIMD in Rust

Apache-2.0Fork
Stars
0
Forks
0
Pushed
4mo ago
35
RalfJung/parking_lot

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

Apache-2.0Fork
Stars
0
Forks
0
Pushed
9mo ago
37
RalfJung/capstone-rs

High-level Capstone system bindings for Rust

License unknownFork
Stars
0
Forks
0
Pushed
1y ago
38
RalfJung/eyre

A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications

Apache-2.0Fork
Stars
0
Forks
0
Pushed
1y ago
40
RalfJung/edition-guide

A guide to changes between various editions of Rust

Apache-2.0Fork
Stars
0
Forks
0
Pushed
1y ago
42
RalfJung/usync

Small, fast, synchronization primitives

MITFork
Stars
0
Forks
0
Pushed
1y ago
43
RalfJung/time

The most used Rust library for date and time handling.

Apache-2.0Fork
Stars
0
Forks
0
Pushed
1y ago
44
RalfJung/memmap2-rs

cross-platform Rust API for memory mapped IO

Apache-2.0Fork
Stars
0
Forks
0
Pushed
1y ago
46
RalfJung/homu

A bot that integrates with GitHub and your favorite continuous integration service

PythonMITFork
Stars
0
Forks
0
Pushed
2y ago
47
RalfJung/tempfile

Temporary file library for rust

Apache-2.0Fork
Stars
0
Forks
0
Pushed
2y ago
51
RalfJung/libc

Raw bindings to platform APIs for Rust

Apache-2.0Fork
Stars
0
Forks
0
Pushed
2y ago
52
RalfJung/steel

An embedded scheme interpreter in Rust

Apache-2.0Fork
Stars
0
Forks
0
Pushed
2y ago
53
RalfJung/anyhow

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

Apache-2.0Fork
Stars
0
Forks
0
Pushed
2y ago
54
RalfJung/version_check

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

Apache-2.0Fork
Stars
0
Forks
0
Pushed
2y ago
55
RalfJung/thiserror

derive(Error) for struct and enum error types

Apache-2.0Fork
Stars
0
Forks
0
Pushed
3y ago
57
RalfJung/CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

NOASSERTIONFork
Stars
0
Forks
0
Pushed
3y ago
59
RalfJung/tinydtls-rs

Rust bindings to the tinydtls C library

NOASSERTIONFork
Stars
0
Forks
0
Pushed
3y ago
60
RalfJung/icu4x

Solving i18n for client-side and resource-constrained environments.

NOASSERTIONFork
Stars
0
Forks
0
Pushed
3y ago
63
RalfJung/mio

Metal IO library for Rust

MITFork
Stars
0
Forks
0
Pushed
3y ago
64
RalfJung/firejail

Linux namespaces and seccomp-bpf sandbox

CGPL-2.0Fork
Stars
0
Forks
0
Pushed
3y ago
67
RalfJung/git2-rs

libgit2 bindings for Rust

Apache-2.0Fork
Stars
0
Forks
0
Pushed
3y ago
68
RalfJung/rust-toolstate

Records build and test status of external tools bundled with the Rust repository.

License unknownFork
Stars
0
Forks
0
Pushed
3y ago
69
RalfJung/osspd

Emulate OSS device using CUSE and ALSA

GPL-2.0Fork
Stars
0
Forks
0
Pushed
3y ago
70
RalfJung/tracing

Application level tracing for Rust.

MITFork
Stars
0
Forks
0
Pushed
3y ago
71
RalfJung/nextest

A next-generation test runner for Rust.

Apache-2.0Fork
Stars
0
Forks
0
Pushed
4y ago
72
RalfJung/tendril

Compact string type for zero-copy parsing

Apache-2.0Fork
Stars
0
Forks
0
Pushed
4y ago
73
RalfJung/triomphe

Fork of std::sync::Arc with lots of utilities useful for FFI

Apache-2.0Fork
Stars
0
Forks
0
Pushed
4y ago
74
RalfJung/bus

Efficient, lock-free, bounded Rust broadcast channel

Apache-2.0Fork
Stars
0
Forks
0
Pushed
4y ago
75
RalfJung/bevy

A refreshingly simple data-driven game engine built in Rust

Apache-2.0Fork
Stars
0
Forks
0
Pushed
4y ago
76
RalfJung/sptr

sptr: The Strict Provenance Polyfill

License unknownFork
Stars
0
Forks
0
Pushed
4y ago
79
RalfJung/semver

Parser and evaluator for Cargo's flavor of Semantic Versioning

Apache-2.0Fork
Stars
0
Forks
0
Pushed
4y ago
80
RalfJung/hyper

An HTTP library for Rust

MITFork
Stars
0
Forks
0
Pushed
4y ago
81
RalfJung/goose

Goose converts a small subset of Go to Coq

GoMITFork
Stars
0
Forks
0
Pushed
4y ago
82
RalfJung/urpc

No repository description provided.

GoLicense unknownFork
Stars
0
Forks
0
Pushed
4y ago
83
RalfJung/marshal

Marshaling library targeting Goose

MITFork
Stars
0
Forks
0
Pushed
4y ago
84
RalfJung/httparse

A push parser for the HTTP 1.x protocol in Rust.

Apache-2.0Fork
Stars
0
Forks
0
Pushed
4y ago
85
RalfJung/flatbuffers

FlatBuffers: Memory Efficient Serialization Library

Apache-2.0Fork
Stars
0
Forks
0
Pushed
4y ago
87
RalfJung/proptest

Hypothesis-like property testing for Rust

Apache-2.0Fork
Stars
0
Forks
0
Pushed
4y ago
89
RalfJung/highfive

Github hooks to provide an encouraging atmosphere for new contributors

Apache-2.0Fork
Stars
0
Forks
0
Pushed
4y ago
90
RalfJung/meta

馃 GitHub Actions for Rust - recipes, discussions, questions and ideas

CC0-1.0Fork
Stars
0
Forks
0
Pushed
5y ago
92
RalfJung/cluConstData

Create and merge any persistent data at compile time.

Apache-2.0Fork
Stars
0
Forks
0
Pushed
5y ago
93
RalfJung/window

Minimal Rust code for creating a window, automatically choosing a backend window manager and graphics API.

Apache-2.0Fork
Stars
0
Forks
0
Pushed
5y ago
94
RalfJung/keyberon

A rust crate to create a pure rust keyboard firmware.

MITFork
Stars
0
Forks
0
Pushed
5y ago
95
RalfJung/fae-gtlc-mu

No repository description provided.

License unknownFork
Stars
0
Forks
0
Pushed
5y ago
96
RalfJung/projects

Contains a list of security related Rust projects.

GPL-3.0Fork
Stars
0
Forks
0
Pushed
5y ago
97
RalfJung/griddle

A HashMap variant that spreads resize load across inserts

Apache-2.0Fork
Stars
0
Forks
0
Pushed
5y ago
98
RalfJung/flurry

A port of Java's ConcurrentHashMap to Rust

Apache-2.0Fork
Stars
0
Forks
0
Pushed
5y ago
99
RalfJung/atone

A `VecDeque` (and `Vec`) variant that spreads resize load across pushes.

Apache-2.0Fork
Stars
0
Forks
0
Pushed
5y ago
100
RalfJung/Rocket

A web framework for Rust.

Apache-2.0Fork
Stars
0
Forks
0
Pushed
6y ago