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 applications with no bugs! ✈️ 🚀 ⚕️ 🏦

Concise Binary Object Representation (CBOR) Library

PS4 emulator for Windows,Linux,MacOS

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.

A serialization format for various persistent Vulkan object types.

Tool to statically recompile N64 games into native executables

A SD/MMC library with FAT16/FAT32 support, suitable for Embedded Rust systems

Peripheral access API for STM32H7 series microcontrollers

LLM inference in C/C++

Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.

Tor plugin for Flutter

A simple, systems-level programming language and compiler