A derivation explorer and logger for menhir parser

Menhir polishing toolbox, for experienced druids

A ML-like pure functional language that can be used as a template for creating your own language

A metadata enrichment API for music servers, backed by SQLite databases containing 256 million tracks.

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

⚙️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

DiffSharp: Differentiable Functional Programming

Keyboards

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