A tool for building minimal Raspberry Pi OS-based operating systems, which do not contain apt or dpkg.

PLC Simualtor Online

A simple Raspberry Pi Kiosk app

Envision a future where every student can read all the code of a teaching operating system.

Chia mow and plow

DSLCad is a programming language & interpreter for building 3D models.

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

bootstrap illumos on AArch64

Learning FPGA, yosys, nextpnr, and RISC-V

An open-source Unix operating system

24 channel, 100Msps logic analyzer hardware and software

Sorting algorithms visualized using the Blender Python API.

RP2040 bootloader in Rust

This is the release repository for Fan Control, a highly customizable fan controlling software for Windows.

Flow-based visual scripting for Python

An extension to render cadquery objects in JupyterLab via pythreejs

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

Control Pi-Plates from Node-RED

A collection of interesting nodes and resources for Node-RED

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Rust board support packages for 3rd-generation Particle hardware

A collection of common Bluespec interfaces/modules.

Vulkan/CUDA/HIP/OpenCL/Level Zero/Metal Fast Fourier Transform library

Create raspberry pi disk images with a Dockerfile

Magic VLSI Layout Tool