Microkit - A simple operating system framework for the seL4 microkernel

Cargo subcommand to provide various options useful for testing and continuous integration.

Generate X.509 certificates

Analog scopeclock on esp32 written in Rust

A 3dprinter/cnc firmware framework powered by rust embassy

Parser for Rust source code

Attribute macro to require that the compiler prove a function can't ever panic

An experimental stackless Lua VM implemented in pure Rust

Graph data structure library for Rust.

An Operating System for Building Small Computers

R3-OS — Experimental static (μITRON-esque) RTOS for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics

Linear algebra foundation for the Rust programming language

🦀 A LSP-based interative call graph generator

Rust support for seL4 userspace

A Rust based DNS client, server, and resolver

A terminal workspace with batteries included

Detects usage of unsafe Rust in a Rust crate and its dependencies.

Generating structured data from arbitrary, unstructured input.

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

A statically typed language compatible with Python

Rust serialize/deserialize/access reflection for trees (no_std, no alloc)

Per-object thread-local storage for Rust

LLM training in simple, raw C/CUDA

Panic messages for humans.

Optimized string search routines for Rust.

Rust quasi-quoting

Slotmap data structure for Rust

Show pretty HDD/SSD list

Modbus framework for Rust

A Rust Host BLE stack with a future goal of qualification.