SAS (software) (current) Representation theory of finite groups JSON-LD Positioning system National Library of Chile Terminal multiplexer Live-variable analysis State transition system Sediment gravity flow Reduced scheme Container (abstract data type) TriX (serialization format)