An open source and lightweight music client for Subsonic, designed and built natively for Android.

🎧☁️ Your Personal Streaming Service

Think tmux, then aim... lower

Functional choreographic programming in Haskell

Distributed SQL database in Rust, written as an educational project

Diagrams of concepts in physics/chemistry/ML

A debugger for Linux

Weighs the soul of incoming HTTP requests to stop AI crawlers

NixOS MicroVMs

Run declarative NixOS containers without full system rebuilds

Virtual whiteboard for sketching hand-drawn like diagrams

Python version of FullControl for toolpath design (and more) - the readme below is best source of information

Fearless Boolean operations on triangle meshes 🛌💤

OpenSCAD script for generating 3D-printable hotswap keyboard PCBs.

A Typst HKUST Thesis Template

Rust keyboard firmware library with layers, macros, real-time keymap editing, wireless(BLE) and split support

blazing fast implicit surface evaluation

Reference implementation for "Massively Parallel Rendering of Complex Closed-Form Implicit Surfaces" (SIGGRAPH 2020)

Relative positioning by pins, especially useful for making slides in typst.

Touying is a powerful package for creating presentation slides in Typst.

Automatic verification of LLVM optimizations

CaDiCaL SAT Solver

a folding, tenting wireless keyboard

Sketch and take handwritten notes.

An easy-to-learn/use static analysis framework for Java

[Deprecated] An early language server for Typst, plus a VS Code extension

Static Value-Flow Analysis Framework for Source Code

A lightweight library for portable low-level GPU computation using WebGPU.

🖼️ Bringing images to Neovim.

🚀 A super concise theme for Hugo https://hugo-theme-even.netlify.app