Backstitch: Real-Time Version Control for Godot

My Masterthesis in Data Engineering and Analytics "Expressing CRDTs with Datalog" at TUM.

AirPods liberated from Apple's ecosystem.

bi-directional reactive programming

Property-based testing for web and terminal UIs

Backend Application for user PDS migration

Mission control style workspace&windows overview plugin for Hyprland

Agentic language built on rust

Custom cursor shaders for ghostty (trails and ripple/pulse effects)

Encode and decode Bijou64 integers

Reimplements and benchmarks some varint algorithms mentionned in the conversation following the VU128 blog post.

Unix pipes between devices

A trackpad-first infinite canvas Wayland compositor.

An infinite canvas desktop app for visually managing terminals

Peer-to-peer, editor-agnostic collaborative editing of local text files.

A fluid, morphing interface to your Linux desktop

Run Linux desktops and apps on macOS with a native Metal Wayland compositor, Apple Container GUI, Waypipe, Docker/OrbStack, and rootless windows.

One engine for schematic version control within and across any schema language.

noq, a QUIC implementation in Rust

A constraint solver purely on GPUs (CUDA)

Human-friendly agent coordination hub

Experimental vibe-coded prototype of a version-controlled database modeled on geometric logic (a superset of Datalog)

Functional choreographic programming in Haskell

Rebuild an unraveling world

Patchwork system

porting opencode tools and prompts to be used in emacs via gptel

Twiggy🌱 is a code size profiler