Synchronize snapper snapshots to a borg repository

Extensions and utilities for Kerbal Space Program

Porting Grav Learn theme to Hugo

fischertechnik TXT Firmware (>=4.4.3)

fischertechnik compatible arduino

A port of Coq to Javascript -- Run Coq in your Browser

Delta.Chat C-Library with e2e chat-over-email functionality & Python bindings

User guides for Fischertechnik community firmware apps

Touchscreen UI written in PyQt

TXT firmware source code as released by Fischertechnik

fischertechnik TXT python

Proof of concept for database interaction using new features in Java 8

Tiny, easily embeddable HTTP server in Java.