Michael's repositories
grub2-theme-ask-larry
a grub2-theme for gentoo
Arduino-IRremote
Infrared remote library for Arduino: send and receive infrared signals with multiple protocols
compare-plugin
Compare plugin for Notepad++
ESPEasy
Easy MultiSensor device based on ESP8266
ESPEasyPluginPlayground
Plugin ideas, concepts, user contributed, etc
esphome
ESPHome is a system to control your ESP8266/ESP32 by simple yet powerful configuration files and control them remotely through Home Automation systems.
esptool-gui
GUI wrapper for ESP8266 ROM Bootloader utility esptool.py
gentoo
The official mirror the Gentoo ebuild repository (now in true git!)
grub2-theme-simple-gentoo
a grub2-theme for gentoo
grub2-themes-overlay
Overlay dedicated to Grub2 themes (of any distribution)
KodiDisplayInfo
KodiDisplayInfo for small TFT Displays
LibreELEC.tv
Just enough OS for KODI
myPKGBUILDs
PKGBUILDs for arch linux arm
nicegui
Create web-based interfaces with Python. The nice way.
openbricks
Embedded Linux Framework
PKGBUILDs
PKGBUILDs modified to build on Arch Linux ARM
pygame-scripts
scripts from learning pygame
s3200
A Python package for controlling the Fröling heating system (S3200) over the maintenance interface.
tinydb-serialization
Serialization for objects which TinyDB couldn't handle otherwise
wiringX
Modular GPIO interface