Health Check aware DNS

A P4 compiler

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

Pico Host Boot Loader

Show notes from Oxide and Friends recordings

Verifiable Secret Sharing Schemes

Accessibility infrastructure for UI toolkits

QSPI flash multiplexer - connect a SPI NOR flash to either an embedded system or a programmer for remote firmware tests

Rust Bitstructs

Grep-like utility based on Lucene Monitor compiled with GraalVM native-image

A debugging library for rust code.

Bluespec Compiler (BSC)

an efficient awk-like language

A CMSIS-DAP implementation in pure Rust.

A modern Rust debugging library 🦀

VGA-style video output for STM32F4 processors, in Rust

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

Tomu FPGA (Fomu for short), a FPGA which fits inside your USB port!

LinuxBoot book which contains the documentation in markdown format

Go-based tools for modifying UEFI firmware

My configurations

The Sustainable Free and Open Source Community Website

Intrusive collections for Rust

Koans for the Rust programming language

A feature-rich Unix terminal client for the Mattermost chat system

evented I/O for v8 javascript

Modifies an ELF interpreter for development purposes

Mario Kart 64 analytics

Examples of DTrace probes in Node.js

Delphix fork of the Illumos operating system, including OpenZFS