ROS-compatible Eigen-based Goldfarb-Idnani quadratic programming solver

Type safe query builder for rust

PeerSplit is a free, local-first, peer-to-peer app that helps you easily and privately split and track group expenses.

Make your JSON data collaborative and version-controlled with CRDTs

Components to build apps in JavaScript atop cr-sqlite

Powerful yet simple to use screenshot software 🖥️ 📸

Feature-rich minimalist proximity-based UI for MPV player.

ESP based mqtt bridge for TCS and Koch door control systems

ESP32-S3 based Intercom Gateway (TCS:Bus / Koch TC:Bus / Niko / Scantron / Analogue Systems)

Arduino C++ interface for the TCS intercom system

ein Bus-Monitor für TCS Klingelanlagen

Building and caching nixpkgs with cudaSupport=true. We push to https://cuda-maintainers.cachix.org/

Wireguard client that exposes itself as a socks5 proxy

Face recognition using Tensorflow

A vocal pitch correction web application (like Autotune)

Static low-bandwidth search at scale

Turns a folder into a blog

Android 1.0+ mini file explorer and manager

#1 Locally hosted web application that allows you to perform various operations on PDF files

3D CAD application

Open source firmware (Tasmota/Esphome replacement) for BK7231T, BK7231N, BL2028N, T34, XR809, W800/W801, W600/W601, BL602 and LN882H

A JIT assembler for x86/x64 architectures supporting MMX, SSE (1-4), AVX (1-2, 512), FPU, APX, and AVX10.2

Extract individual files from .zip files over http without downloading the entire archive.

Modern embedded framework, using Rust and async.

Chat with Meta's LLaMA models at home made easy

NixOS configuration for the machines I manage

Convert GIF, MP4 with WASM

AI-Powered Photos App for the Decentralized Web 🌈💎✨

Handwriting Synthesis with RNNs ✏️