Robin Stumm's repositories
box2d-editor
Automatically exported from code.google.com/p/box2d-editor
home-manager
Basic system for managing a user environment using Nix
Software-Engineering-I-Praktikum-2.2
H-BRS WS 2017 Software Engineering I Praktikum 2.2
bup
Very efficient backup system based on the git packfile format, providing fast incremental saves and global deduplication (among and within files, including virtual machine images). Current release is 0.31, and the development branch is master. Please post problems or patches to the mailing list for discussion (see the end of the README below).
dashing-nagios
dashing-nagios is a widget for Shopify's dashing framework to display Nagios warning and error counts
datetimepicker
jQuery Plugin Date and Time Picker
FastCDC-c
An implementation of FastCDC in C
java-universal-css-engine
Automatically exported from code.google.com/p/java-universal-css-engine
java-universal-tween-engine
Automatically exported from code.google.com/p/java-universal-tween-engine
knockout-select2
Select2 v4 binding handler for Knockout
libgdx-texturepacker-gui
Automatically exported from code.google.com/p/libgdx-texturepacker-gui
migrant_lib
Embeddable migration management
nanorc
Improved Nano Syntax Highlighting Files
neuron
Future-proof note-taking and publishing based on Zettelkasten
nixos-shell
Spawns lightweight nixos vms in a shell
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
selectize.js
Selectize is the hybrid of a textbox and <select> box. It's jQuery based and it has autocomplete and native-feeling keyboard navigation; useful for tagging, contact lists, etc.
vulnix
Vulnerability (CVE) scanner for Nix/NixOS.
zig-json-decode
Create a zig type to easily decode json from a struct
zig-validate
A type validation library for writing a zero-cost, declarative, understandable, generic code in zig.