Easily document cables and wiring harnesses.

🤖 Just a command runner

🔥Midarr, the minimal lightweight media server.

ESP32 PWM, Servo, Easing and Tone. Smart GPIO pin management and advanced control features.

Electronic Circuit Simulator in the Browser

A modular 3d-printable mini rack system.

ESP32 powered Rancilio Silvia

Vigilo poster generator

Repo for packaged Northstar releases

Overleaf Two-Way Synchronization

Caddy as a reverse proxy for Docker

JavaScript client and server side transport API based on WebRTC & WebSocket

Import and export GitHub issues via CSV

(WIP) DIY electronic shifting for mounainbikes, roadbikes or any bike actually

DIY electronic derailleur for Shimano parts

portion, a Python library providing data structure and operations for intervals.

Vim distribution

Network Analysis in Python

⌨️ A curated list of awesome tools, demos and resources to go beyond LaTeX

arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

Convert draw.io xml to pdf/png within command line. (diagrams.net)

Cita: a Wikidata addon for Zotero with citations metadata support

Everything about note management. All in Zotero.

Zotero extension to retrieve and validate DOIs and shortDOIs

Zotero extension that combats link rot by archiving webpages and journal articles.

Zotero plugin providing some additional editing features

Garmin application for ANT+ bike lights

Verifying the correctness of CRDTs using TLA+/PlusCal