Empowering everyone to build reliable and efficient software.

A cross-platform, OpenGL terminal emulator.

Lightning-fast and Powerful Code Editor written in Rust

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Spotify for the terminal written in Rust 🚀

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

Beginner, advanced, expert level Rust training material

Enarx: Confidential Computing with WebAssembly

Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust

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

Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.

FIDO2 (WebAuthn) and FIDO U2F platform library for Linux written in Rust

Teaclave TrustZone SDK enables safe, functional, and ergonomic development of trustlets.

A Constrained Application Protocol(CoAP) library implemented in Rust.

Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.

Rust implementation of the keylime agent

Rust library for AMD SEV and SEV-SNP

TSS 2.0 Enhanced System API (ESAPI) Rust wrapper

Confidential Containers Shim Firmware

TPM 2.0 Implementation

A rust implementation for DMTF SPDM protocol to support Confidential Computing

Rust wrapper for the TSS 2.0 FAPI

cbor library in rust

Rust bindings to and wrapper around the libcoap C library

Rust implementation of EAT Attestation Results

CoRIM crate for Rust

Rust code to parse IMA event log