Composable block-and-cell diagrams for visualizing structured data layouts, memory maps, register fields, protocol formats, and more."

Beautiful, flexible, and integrated. Display custom frames for theorems, environments, and more. Attractive visuals with syntax that blends seamlessly into the source.

Deterministic firmware simulator for ARM Cortex-M and RISC-V — with hardware-validated parity

A small blog, hosted by GitHub Pages.

SSG for typst-based websites - keep your focus on the content

Manual segmented stacks for Rust

Text justification for perfectionists

seamless management of source dependencies with nix

Macros for accessing your type's documentation at runtime.

Examples for the Qt Bridge Rust

System utility to forward notifications from Sailfish OS native to Android AppSupport using the Intent API of Gadgetbridge.

Run Arm64/x86-64 Linux ELF binaries on macOS Apple Silicon

High-throughput columnar serialization in Rust

Custom firmware for the Egret GT scooter

Dependency-free no_std Rust crate providing first- and second-order LADRC controllers for robust embedded control loops.

Autonomous selector built for the vexide platform using buoyant

For IBus E-series BMWs, emulates the Video Module to add Apple CarPlay and Android Auto capabilities to the stock screen.

Custom implementation of Android Auto server for Linux, providing an AI assistant capability integrated into car infotainment system, configurable by the phone app via BLE connection.

A rust library that implements android auto functionality

AndroidAuto wired/wireless proxy

Android Auto Server encapsulates communication with modern car infotainment system

Unofficial Android Auto SDK

AndroidAuto headunit emulator

Refinement Types in (unstable) Rust

Set of Dynamic Binary Instrumentation and visualization tools for execution traces.