Real Time communication library using Animated Gifs as a transport™

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…

The Original & Awesome GitHub App for Android

NewsRob

Alloy*---Higher Order Logic for Alloy

Please use https://github.com/raumzeitlabor/raumzeitstatus/tree/master/android-widget instead

Displays ctdo raumstatus on Android devices