OpenPGP implemented in pure Rust, permissively licensed

A dead simple Wii backup manager

Compile time static maps for Rust

NFC Data Exchange Format no_std crate

Memory Manager For Small(ish) Microprocessors

Embedded systems control library for development, testing and installation

Container Storage Interface (CSI) for MooseFS

Curated list of resources for ESP32 development in the Rust programming language

Raspberry Pi 4 UEFI Firmware Images

A group of Rust projects for interacting with the SARIF format

Compile Rust compiler using Buck2

The official repository of Mozilla's Firefox web browser.

Extra iterator adaptors, iterator methods, free functions, and macros.

Rust tool to detect cell site simulators on an orbic mobile hotspot

adw-gtk3 patches for GIMP 3

A tool for recompiling Xbox 360 games to native executables.

Formal verification meets Guix.

Verified Rust for low-level systems code

A cargo-subcommand to speed up Rust Docker builds using Docker layer caching.

Rust grammar tool libraries and binaries

Rust rules for the Please build system

High-performance extensible build system for reproducible multi-language builds.

A wrapper for Linux personality function written in Rust.

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Concise Binary Object Representation (CBOR) Library

PlayStation 4 emulator for Windows, Linux and macOS written in C++

Interactive Coq Proofs in Vim

SteamOS session compositing window manager