Christoph's repositories
Japanese-Tools
IRC bot and small scripts for learners of the Japanese language
latex-unicode-math-mode
Emacs minor mode for entering unicode math symbols
badges.tex
Generate badges (name tags) automatically with LaTeX
esp8266-wakelight
An alarm clock with light instead of sound
kindle-flashcard-converter
Import Amazon Kindle flash cards into anki
ansible
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.
ansible-modules-core
Ansible modules - these modules ship with ansible
ansible-role-apache
Ansible Role - Apache 2.x.
caddy
Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS
gandi-dyndns-python
Gandi dynamic dns updater
heisenbridge
a bouncer-style Matrix IRC bridge
lego
Let's Encrypt/ACME client and library written in Go
nodemcu-firmware
lua based interactive firmware for mcu like esp8266
nodemcu-uploader
Upload files to your esp8266 running nodeMcu
ParityGame
Parity Games formalized in Isabelle/HOL
solvespace
Parametric 2d/3d CAD
ulogger-server
μlogger • web viewer for tracks uploaded with μlogger mobile client