Pipes : Pipes is a powerful composition tool to aggregate, manipulate, and mashup content from around the web.
TLA : TLA stands for the Temporal Logic of Actions, but it has become a shorthand for referring to the TLA+ specification language and the PlusCal algorithm...
Mobile HTML5 compatibility : HTML5 compatibility on mobile and tablet browsers with testing on real devices
