A datetime library for Rust that encourages you to jump into the pit of success.

Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases

3D and 2D game engine written in Rust

Oxidized Astrodynamics

Empowering everyone to build reliable and efficient software.

A cross-platform, safe, pure-Rust graphics API.

Kani Rust Verifier

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

An interpreter for Rust's mid-level intermediate representation

CUDA on non-NVIDIA GPUs

Truly independent web browser

Creusot helps you prove your code is correct in an automated fashion.

A fast usermode x86 and x86-64 emulator for Arm64 Linux

macOS: mount any linux-supported filesystem read/write using NFS and a microVM

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

Box86 - Linux Userspace x86 Emulator with a twist, targeted at ARM Linux devices

A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once (Fork of MultiMC)

Veryl: A Modern Hardware Description Language

Box64 - Linux Userspace x86_64 Emulator with a twist, targeted at ARM64, RV64 and LoongArch Linux devices

The main repository for the Linux and Mac OS Bedrock edition Minecraft launcher.

Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

Migrate C code to Rust

RFCs for changes to Rust

We all edit.

Cranelift based backend for rustc

libgccjit AOT codegen for rustc

JS engine lolz

Toolchain to create JVM-ready Java bytecode from Rust MIR.

Eclipse iceoryx2™ - true zero-copy inter-process-communication with a Rust core