INACTIVE - A command-line tool for installing and automating the Firefox Reality virtual-reality browser.

INACTIVE - A fast and secure browser for standalone virtual-reality and augmented-reality headsets.

rust verification condition generator

Rust language bindings for TensorFlow

Rust implementation of Noise

Cryptol: The Language of Cryptography

Cryptographic Engineering for Kids, for Everybody. Scaling down modern cryptography to pencil 'n paper; learn how it really works, without the math degree.

Fidelius charm is a project for securing interactions with C code within a Rust program.

A Stylus style for easy Slack theming

C to Rust translator

Modern video compression for the internet

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