Marvin Sielenkemper's repositories
intellij-micropython
Plugin for MicroPython devices in IntelliJ and PyCharm
mipy_HY_STM32F4xxCore144
MicroPython board definition for the HY-STM32F4xxCore144 board
neotrellis8x8
PlatformIO project for an AdaFruit Feather HUZZAH board attached to 2x2 Neotrellis modules.
coq-playground
Various Coq files I'm working on.
MScheme
A Scheme interpreter written in Java.
urweb
The Ur/Web programming language
curlftpfs-ng
FUSE filesystem for FTP.
Ender-3
The Creality3D Ender-3, a fully Open Source 3D printer perfect for new users on a budget.
ESP32-BLE-Keyboard
Bluetooth LE Keyboard library for the ESP32 (Arduino IDE compatible)
esphome
ESPHome is a system to control your ESP8266/ESP32 by simple yet powerful configuration files and control them remotely through Home Automation systems.
gentoo-ebuild-repository
My local Gentoo repository with updates and fixes I need.
Gridcoin-Research
Gridcoin-Research
home-assistant-core
:house_with_garden: Open source home automation that puts local control and privacy first.
intellij_lsl_plugin
Linden Script (LSL) language plugin for IntelliJ IDEA
kotest
Powerful, elegant and flexible test framework for Kotlin with additional assertions, property testing and data driven testing
Marlin
Marlin is an optimized firmware for RepRap 3D printers based on the Arduino platform. | Many commercial 3D printers come with Marlin installed. Check with your vendor if you need source code for your specific machine.
micropython
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
node-red-contrib-herz-tcontrol
Node-RED package for the communication with a Herz T-CONTROL
phoenix-firestorm
Official Firestorm viewer source repository.
Secundus
A very special Android App for my family.
sielenk.github.io
My personal github page
sml_parser
C++ library to parse Smart Message Language (SML) data from smart meters.
u-boot
u-boot for odroid