SDL v2.0 Ported for Miyoo Mini (Plus)

iPod Nano 7G bootrom exploit a bit too late

Firmware for the Xteink X4 e-paper display reader

AI-assisted, formally-verified HTTP parser written in Agda.

A KV running on a bash script

A powerful, fast, elegant software ecosystem of apps for all platforms.

desafio

Receptor IP para alarme Intelbras AMT-8000

Instant PostgreSQL Branching with COW and Docker

Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

MacOS app which allows drag and drop of images to BLE thermal printers

Generic Non-Planar Slicer

High performance UI layout library in C.

ch32v003 USB Driver for 3-digit 7-segment TN LCDs with touch

wazero: the zero dependency WebAssembly runtime for Go developers

Guide on how to design keyboard PCBs with KiCad

Browser extension for fullscreen theater mode on YouTube

AeroSpace is an i3-like tiling window manager for macOS

Manage Expo environment variables, and trigger builds and updates

Truly independent web browser

bouncer is a button input handler library supporting press-lengths of different durations, and debouncing

Create .env.local file based on eas.json profile environment variables

Backport of .NET 2.0 - 3.5 to Windows 9x

Formalizing and solving exercises form the book Type Theory and Formal Proof

The Ultimate MacOS App for Effortless Time Zone Management! Create and Customize Clocks with Ease, Stay Connected Globally.

Subaru StarLink persistent root code execution.

A board replacement for the classic Casio F-91W wristwatch

A POC of a HTTP server in Agda