Lean 4 programming language and theorem prover

Detect file content types with deep learning

The Dark Arts of Advanced and Unsafe Rust Programming

Secure firmware framework focusing on developer experience

OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.

Sec-Gemini v1 is a cutting-edge AI model designed to enhance cybersecurity capabilities and empower defenders in the ongoing battle against cyber threats.

A safe, concurrent, practical language.

📦 shippable application packaging

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Driver for the USBD peripheral in nRF microcontrollers

Koka language compiler and interpreter

Data for this-week-in-rust.org

(going to be a) BLE stack for embedded Rust

Implementation of the UsbBus trait of usb-device, which simulates a Bus as a USBIP Server. Useful for developing UsbClass traits and simulating devices.

A Rust HAL for the nRF family of devices

OSS-Fuzz - continuous fuzzing for open source software.

Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.

A precise specification for "Rust lite / MIR plus"

Quickly set up a `probe-rs` + `defmt` + `flip-link` embedded project

Low level access to RISC-V processors

OpenTitan: Open source silicon root of trust