Refinement Types for Rust

Application level tracing for Rust.

Creusot helps you prove your code is correct in an automated fashion.

The Rust OpenTelemetry implementation

Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.

Safe Interactions with Foreign Languages through Omniglot

Documentation, code and information for the Safety Critical Rust Consortium

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Virtual whiteboard for sketching hand-drawn like diagrams

A new way to see and navigate directory trees : https://dystroy.org/broot

A simple zero-config tool to make locally trusted development certificates with any names you'd like.

Rust friendly bindings to *nix APIs

Efforts for packaging the Rust for Linux project with the Nix package manager

Rust on the Flipper Zero

Flipper Zero Unleashed Firmware

Adding support for the Rust language to the Linux kernel.

Writing an OS in Rust