Soft, tactile components for product interfaces. Native forms, keyboard access, standard events and just one module import.

Firmware for Xteink X3/X4. Personal fork of Crosspoint.

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

Universal utility for programming FPGA

An ECP5 FPGA Dev Board in a Pi Zero form

A library of modular, tapeout-proven, and secure-by-default open silicon blocks

RTX5 real time kernel for Arm Cortex-based embedded systems (spin-off from CMSIS_5)

Flashrom/serprog compatible firmware for the Raspberry Pi Pico

PwnPad is an affordable, hands-on hardware hacking platform built for practical learning. It features a range of challenges that walk users through key hardware security concepts, from PCB design t…

A lightweight, lightning-fast, in-process vector database

The seL4 microkernel

Fixed size 256-bit math library

Bron's Advanced Cryptography Library

Baochip 1x Silicon

Apache DataFusion SQL Query Engine

A cross-platform GUI library for Rust, inspired by Elm

TiXL is an open source software to create realtime motion graphics.

Userspace WireGuard® Implementation in Rust

The bare metal Go UEFI boot manager

Go library for building tile-based transparency logs (tlogs)

A VNC server for wlroots based Wayland compositors

AirPods liberated from Apple's ecosystem.

Cross-platform application sandboxing for Rust

Linux UEFI library written in pure Go.

Friction Graphics

Weighs the soul of incoming HTTP requests to stop AI crawlers

A new lightweight, hybrid routing mesh protocol for packet radios