Empowering everyone to build reliable and efficient software.

Lightning-fast and Powerful Code Editor written in Rust

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

CUDA on non-NVIDIA GPUs

We all edit.

3D and 2D game engine written in Rust

Generate any location from the real world in Minecraft Java Edition with a high level of detail.

Empowering everyone to host fast and efficient Minecraft servers.

An interpreter for Rust's mid-level intermediate representation

Migrate C code to Rust

Command-line sampling profiler for macOS, Linux, and Windows

A Rust framework for building Minecraft servers.

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

Kani Rust Verifier

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

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

A multithreaded Minecraft server built for redstone.

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

A Rust compiler backend targeting CIL(.NET IR) and C.

Cranelift based backend for rustc

Deep learning in Rust, with shape checked tensors and neural networks

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

JS engine lolz

The Rust Reference

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

libgccjit AOT codegen for rustc

A precise specification for "Rust lite / MIR plus"

Veryl: A Modern Hardware Description Language

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

Terminal-based manga reader and downloader with image rendering support