Digital planner for Supernote and ReMarkable // Support Ukraine 🇺🇦 https://savelife.in.ua/en

Abstract over different executors

Kani Rust Verifier

A Stable ABI for Rust with compact sum-types

Unix-like kernel written in Rust

Byte array newtypes of various primitive types.

Let's write an OS which can run on RISC-V in Rust from scratch!

Experimental OS, built with rust

A wee async RTOS for Cortex-M

A wrapper of Tokio's JoinHandle that aborts the task when it's dropped, while still allowing it to be awaited for joining.

Cross-platform app development in Rust

A new markup-based typesetting system that is powerful and easy to learn.

🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by MapsWithMe (MapsMe) fou…

D2 is a modern diagram scripting language that turns text to diagrams.

A hobby x86-64 operating system written in Rust

GitHub Action to setup Problem Matchers for Rust.

UEFI Reference Specification Protocol Constants and Definitions

A personal search engine: Create a searchable library from your personal documents, interests, and more!

git commit --fixup, but automatic

Lightning-fast and Powerful Code Editor written in Rust

📚 Learn to write an embedded OS in Rust 🦀

Provides pre-rasterized characters from the "Noto Sans Mono" font in different sizes and font weights for multiple unicode ranges.

An implementation of the NTFS filesystem in a Rust crate, usable from firmware level up to user-mode.

rust-vmm community content

Safe cross-platform linker shenanigans

Typed distributed plugin registration

A fast and secure runtime for WebAssembly

Modern embedded framework, using Rust and async.

A no_std graphics library for embedded applications

The fastest font renderer in the world, written in pure rust.