Online TVx Remote Control allows you to use your phone to control Online TVx on your desktop. You can control playback, volume, and fullscreen mode for TV and radio. The channel list will be loaded from your Online TVx favorite list.
A tool that counts the number of integer points in parametric polytopes.
A diff/patch library for JSON-serialized data structures.