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

TeamSpeak package and service definitions for GNU Guix.

Rust support for seL4 userspace

KLEE Symbolic Execution Engine

Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

🛡 I2P: End-to-End encrypted and anonymous Internet

A file explorer tree for neovim written in lua

Cryptographic Primitive Code Generation by Fiat

Envoy: The perfect companion app for your Passport.