⚙️ Layered configuration system for Rust applications (with strong support for 12-factor applications).

SQLite extension + bindings for Postgres NOTIFY/LISTEN semantics with durable queues, streams, pub/sub, and scheduler

Rust drivers and hardware abstraction layer for Infineon PSOC microcontrollers

All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).

A datetime library for Rust that encourages you to jump into the pit of success.

CLI for remote MCU development, flashing, and testing on the OnMCU platform

Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.

A static analysis tool for Rust programs.

T-testing-devex experiments for new testing tools for Rust developers

Rust keyboard firmware for my keyboards.

Design files for my keyboards

Language Server Protocol implementation for Rust based on Tower

Technologie-Roadmap als Metro-Map visualisieren

58-key column staggered split keyboard

a smol tcp/ip stack

📦 shippable application packaging

Mutation testing tools for Rust

HaDes-V is an Open Educational Resource for learning microcontroller design. It guides you through creating a pipelined 32-bit RISC-V processor using SystemVerilog and FPGA tools. Developed by TU G…

Loom — Formally verified WebAssembly optimizer. Part of the PulseEngine toolchain.

A WebAssembly-native Rust stdlib

WIT dependency manager

Wasm component-native RPC framework

Capability-oriented version of the Rust standard library

JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The interactive playground lets you experiment with UnicodeMath, LaTeX…

Grammar of Graphics in Rust

Compile-Time Memory Isolation via WebAssembly and Rust Transpilation

A tool for auditing Rust crates