Mik Mueller's repositories
galvan-lang
WIP: A higher-level companion language to Rust
homescript
A custom DSL which allows scripting for the Smarthome Server
.dotfiles
A collection of some of my linux config files
defiant-zmk
ZMK configuration for the Defiant keyboard
go-rpio
:electric_plug: Raspberry Pi GPIO library for go-lang
HandyLinuxStuff
A collection of useful scripts for Linux, mostly personalized for me, but also some general ones.
jsonfmt-rs
A simple and boring JSON formatter written in Rust
mik-mueller.de
My personal homepage
old-dotfiles
Dotfiles Repo
openweathermap
Go (golang) package for use with openweathermap.org's API.
rpi-infrared-scanner
Allows you to scan codes sent by infrared remotes
SchoolNotes-vs
This Vscode extension is capable of converting markdown (.md) files to .pdf files, which are cross platform and easy to share.
smarthome-hw
Hardware interface for the smarthome server
smarthome-hw-ir
Interface for smarthome that allows IR control
smarthome_sdk
A go package which makes communication to a smarthome server simple
sprache
The official programming language of the Hasso Plattner Institute.
yay-docker
Docker image which contains Arch-Linux with a valid YAY (AUR helper) installation