Empowering everyone to build reliable and efficient software.

Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

🦀 Small exercises to get you used to reading and writing Rust code!

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

Scalable datastore for metrics, events, and real-time analytics

Terminal session recorder, streamer and player 📹

Mirror of https://gitlab.redox-os.org/redox-os/redox

Count your code, quickly.

Firmware Analysis Tool

open source training courses about distributed database and distributed systems

⏰ Agenticly track worldwide conference deadlines (Website, Python Cli, Wechat Applet)

A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal com…

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32

Rust version of THU uCore OS. Linux compatible.

Raft distributed consensus algorithm implemented in Rust.

Let's write an OS which can run on RISC-V in Rust from scratch!

Zircon microkernel reimplemented in Rust.

Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe, convenient, and performant abstractions for UEFI functiona…

Occlum is a memory-safe, multi-process library OS for Intel SGX

An io_uring backed runtime for Rust

RISC-V Supervisor Binary Interface (RISC-V SBI) library in Rust; runs on M or HS mode; good support for embedded Rust ecosystem. For binary download see prototyper folder.

Attribute macro to require that the compiler prove a function can't ever panic

Magical Deterministic Simulator for distributed systems in Rust.

RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).

Tutorial for rCore OS step by step (3rd edition)

A fuzzer framework built in Rust

We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???

RISC-V hypervisor written in Rust

Rust version of THU uCore OS. Linux compatible.