Forked from the lightly theme, this style brings a fresh and unique look to your applications

Wallpaper Engine backgrounds for Linux!

EPDiy is a driver board for affordable e-Paper (or E-ink) displays.

An Arduino and ESP32 library for connecting monitoring the iqs5xx-b000 based trackpad from Azoteq

The most advanced custom firmware for the Spotify Car Thing.

Robotics Toolbox for Python

SIP Captures

Common used path planning algorithms with animations.

Memory for 24/7 proactive agents like openclaw (moltbot, clawdbot).

[SIGGRAPH 2025] Official Repo for Paper - GaVS: 3D-Grounded Video Stabilization via Temporally-Consistent Local Reconstruction and Rendering

Enable Opencode to authenticate against Antigravity (Google's IDE) via OAuth so you can use Antigravity rate limits and access models like gemini-3-pro and claude-opus-4-5-thinking with your Google…

Modern graphing calculator operating system.

Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.

a toy programming language that can run stuff

SoTA open-source TTS

A Foundation Model for Generalist Gaming Agents

DDR3 controller for Tang Primer 20K (Gowin GW2A-18C fpga). DDR3-800 speed and low latency.

Secure and fast microVMs for serverless computing.

KiCad symbols and footprints created by myself or modified from KiCad library for my projects.

Fast minecraft rendering backend for sodium (nvidia only)

Open-Source Frontier Voice AI

GPU-Accelerated Tracking for ORB-SLAM3

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Open source interface for iCUE LINK Hub and other Corsair AIOs, Hubs for Linux. Manage RGB lighting, fan speeds, system metrics, as well as keyboards, mice, headsets via a web dashboard.

Build your hardware, easily!

Tiny Model, Big Logic: Diversity-Driven Optimization Elicits Large-Model Reasoning Ability in VibeThinker-1.5B