42 key unibody keyboard

Compact, feature-filled CM5 carrier board

A mathematical keypad for students and professionals

TKL keyboard that can be entirely assembled using only through hole components, including usb type-c

Radxa Displays on Raspberry Pi

Proxmox VE Helper-Scripts (Community Edition)

Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).

Stuffing a Framework mainboard in a Thinkpad 701C chassis

Self-hosted AI audio transcription

OCaml with macros

My mathematical Zettelkasten, created using forester. Moved to sourcehut.

⚙️Nix[OS] Configuration

Use arbitrary LaTeX in your Jekyll website!

Lax modal lambda calculi

Modular ergonomic keyboard with touchpad and display

Agda formalisation of second-order abstract syntax

A purely functional programming language with first class types

Split, fully wireless keyboard with a 5 way switch

A big QMK powered trackpad

Taking Keyboards to the Final Frontier

An open source, self-hosted implementation of the Tailscale control server

Proxmox VE Helper-Scripts

DiffSharp: Differentiable Functional Programming

Keyboards

Solo trackball unit powered by my Omega Supreme all in one PMW3660 sensor trackball, PER56, RP2040 integrated module.

RP2040 integrated components with integrated PMW3360 trackball sensor & PER56 encoder. The rest of the RP2040 pins are fully broken out

Dragon Fruit, sponsored by PCBWay, a heavily modified from AriaMelon's column staggered Honey Dew, powered by integrated RP2040 and Kiwano VIK module.

VIK module with rotary encoder ring and PMW3360/Cirque support