SKiDL is a library that lets you design electronic circuits using Python.

Desktop app for copying and syncing an apple photo library to immich.

BetterBahn is an open-source project that aims to improve the train travel experience in germany. The current focus is on split-ticketing. However, further functions are planned to follow in the fu…

SEO-optimised simple Hugo theme using the Bulma CSS framework

Components from design to production

Infrared remote library for Arduino: send and receive infrared signals with multiple protocols

Convert any LCSC components (including EasyEDA) to KiCad library

Direct File

Arduino library for ACS Current Sensor - 5A, 20A, 30A

Rebbletool - the reborn version of the pebble command line tool, modified to work on modern systems and with python3

Routines to create with OpenSCAD brickstone houses

egg is a flexible, high-performance e-graph library

MicroPython drivers for Waveshare e-paper modules

Software to conveniently control & fully automate large Marklin CS2/CS3 digital layouts using your computer / keyboard. Designed for users with many trains and accessories where two knobs just aren…

Python app to work with pictures and associated metadata from Apple Photos on macOS. Also includes a package to provide programmatic access to the Photos library, pictures, and metadata.

Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation

Split Flap display based on Dave Königsmann's mechanicals, with custom PCB and firmware.

OpenTofu lets you declaratively manage your cloud infrastructure.

Amtrak fare-scraping service

Lecture notes for a short course on proving/programming in Coq via SSReflect.

egraphs + datalog!

COQ Plugin solving relations from Hahn coq lib using Rust EGG library.

Python bindings for egg

a library for using WS2812b leds (aka neopixels) with Raspberry Pi Pico

This is a package to interact with the Deutsche Bahn timetables api

Python library to control an ST7789 240x240 1.3" TFT LCD display.

"Ghost buses" analysis project through Chi Hack Night

Mili is an open source tool for auto login hotspot pages! (MacOS + Linux)

quantum-viz.js is a configurable tool for rendering quantum circuits using pure HTML.

Yet another plugin tutorial, this time as an exercise for 598